Added SymbolAnalyzer base class; added update method analyzers
Added UpdateMethodWithoutBodyAnalyzer; added tests for all update method analyzers