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
Merge pull request #81 from gridaphobe/master

assert negation of model + equivalence classes in allSat