let iter_others f r =
    begin
      let iter_map f _ (p,rs) = List.iter (fun r -> f p r) rs in
      Vmap.iter (iter_map f) r.cvars ;
      Imap.iter (iter_map f) r.roots ;
    end