let lookup f = try Defined(get_item f) with Not_found -> try Cyclic(Ihmap.find cofix f) with Not_found -> Undefined