let add_cycle fs g = try let c = Ihmap.find cofix g in c.inners <- List.fold_right Iset.add fs c.inners with Not_found -> ()