let define f =
try
let c = Ihmap.find cofix f in
Ihmap.remove cofix f ;
match c.ccitem with
| Cnone | Cdefault _ ->
Wp_parameters.fatal "unstable definition (%a)" LogicId.pretty f ;
| Cupdated (item,descr) ->
unlock f ;
declare { d_name=f ; d_item=item ; d_descr=descr }
with Not_found -> ()