Class AbstractConsistencyAnalysis