> > Hm, what do we do for > > if (op0 > 10) > if (op1 > 10) > some code > > ? Do we make sure to only register one predicate with op0 > 10 && op1 > 10?
Yes, we end up with predicate (op0 > 10) && (op1 > 10). That is until we hit of maximum limit of clauses in a single predicate. Then we just give up and start dropping more of && clauses. Honza
