Use the new multiplied equality cut also in bound propagation if turned on
Pulled out some code outside loop for performance
Updated for new syntax with forced solver choice