Stronger bound propagation