rename local variables in emit(initialize_stmt)
check immutability of variables on assignment