assignment_expr type checking (completed?)
MethodReturnTypeMismatch
introduce currentFunction variable to indicate the current function being traversed
fix identifier_list bug that accidentally str(tuple)
fix assert() code not being generated bug