[mcsta] Essential state chain reduction diverges on loops
The essential state chains optimisation of mcsta, implemented in ModelChecking, diverges if there is a loop in such a chain.
The essential state chains optimisation of mcsta, implemented in ModelChecking, diverges if there is a loop in such a chain.