Fix SafetyAnalysis heuristics adaptations
Fix SafetyAnalysis heuristics adaptations

* Only save minimal critical sets - not all critical sets
* Do not filter known safe sets in GeneratePowerSetLevel()
  -> needed to generate next level
* For now: add debug output for trivially safe sets

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