SafetyAnalysis: remember non-minimal critical sets
SafetyAnalysis: remember non-minimal critical sets

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