let le_loc_bool l1 l2 =  F.e_app2 "addr_le_bool" (addr l1) (addr l2)