more intelligent bounds handling (still need support in addPrimalConstraint)