added VarDiagnosticAnalyzer