FIxed the way we treat existential restriction subsumers