Class SymmetricEvaluatedFixpoints.NonDeterministicAutomata