• expression state at time t = "call_function_begin"
• parent stack at time t = [ x, y ]
• the expression at time t = function call with name: "__mul__" and arguments: args

then expression state at time (t + 1) = "return"