let equal_loc_bool = op_loc M.equal_loc_bool (F.e_icmp Ceq)