package analyzer.propConAnalyzer renamed to analyzer.propCon