clean up subsumption removal code a bit
use backward subsumption removal to remove old bound constraint in PBO/WBO solving