removed duplication check for subsumption

The changed implementation (cf. previous commit) makes it unnecessary to
check the left-hand side of a subsumption. Checking the right-hand side
provides little benefit but incurs a large overhead in compile time
performance.