let le_loc_bool = op_loc M.le_loc_bool (F.e_icmp Cleq)