Include constant in objective
Add simple cuts for complementary variables
Refactorized with general code for checking indefiniteness
Don't try to propagate if all bounds are infinite