let lt_loc l1 l2 = F.p_app2 "addr_lt" (addr l1) (addr l2)