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