let lt_loc_bool l1 l2 =
        F.e_app2 "lt_ptr_bool" (ptr l1) (ptr l2)