StateAnalysisMetric now only displays one missed state, when duplicates are also missed