Bug fix in StateAnalyzerTest