Fixed bug with swapped property subsumption check