modified pushing to also do obligation subsumption, which is needed in survive mode