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