Fix calculations in iPickBounded.
Translate <= without a disjunction.