avoid unnecessary checks for trivially critical sets
avoid unnecessary checks for trivially critical sets

GeneratePowerSetLevel() does not generate trivially critical sets.
Thus for those sets, an additional check is unnecessary - only sets
suggested by heuristics may be trivially critical.

Instead of comparing cardinality, pass boolean to methods (heuristics
may suggest sets of current cardinality).

isse-augsburg/ssharp,isse-augsburg/ssharp,isse-augsburg/ssharp,maul-esel/ssharp,isse-augsburg/ssharp,maul-esel/ssharp,maul-esel/ssharp,isse-augsburg/ssharp,maul-esel/ssharp