let equal_loc = op_loc M.equal_loc (F.p_icmp Ceq)