Check if the space of a degenerated predicate is the same of its inner predicates