Set subsumption checks not only between atomic classes.