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