let minus_loc = op_loc M.minus_loc (F.e_iop Isub)