Fixed bug on subsumption check.