Quick termination
Clean up and handling infinity in bounds
Use new bound propagator