More time-saving way of doing OTF subsumption