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