let default f item =
    try
      let c = Ihmap.find cofix f in
      if c.ccitem=Cnone then c.ccitem <- Cdefault item
    with Not_found ->
      Ihmap.add cofix f {
        ccitem = Cdefault item ;
        stable = true ;
        inners = Iset.empty ;
      }