more efficient implementation of subsumption

This implementation uses the post-processing method described in the paper.