crowd cardinality strategies clash with inconsistent classes. Check for next release

[German Braun]

We have to identify associated classes min and max because all of them become unsat!