let
lt_loc = op_loc
M
.lt_loc (
F
.p_icmp
Clt
)