TerminatedState test suite