let lt_loc_bool l1 l2 = F.e_app2 "addr_lt_bool" (addr l1) (addr l2)