• expression state at time t = "call_function_begin"
• Value Stack at time t = [ evaluated, stack ]
• the expression at time t = Python constructor with name: class_name and arguments: args

then Argument Values at time (t + 1) = reverse of evaluated