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