refactored StateAnalyzerImplTest