AnalysisState renamed to State, it is more readable at certain places.

Success and failure analyzers.