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 -> ()