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