let
isdef v env =
List
.mem_assoc v (get_cur_defs env)