Fix calculations in iPickBounded.
Translate <= without a disjunction.
Merge pull request #2 from nick8325/master

Fix bug in iPickBounded; don't introduce a disjunction when translating <=