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