assert negation of model + equivalence classes

instead of asserting the two negations separately, this allows for more
valid models to be generated, e.g. TestSuite.Uninterpreted.Sort