let
lt_loc_bool = op_loc
M
.lt_loc_bool (
F
.e_icmp
Clt
)