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 ;
}