Removes existential conditions on class declaration testing