Implemented AssignAnalyzer