Adding OTF itermediate subsumption for implicit clauses