fixed AssignmentStatement-related bug in analysis