[deflation] add bound_pseudo (untested!)
[recycling] minor refactoring of recycling