• Expression Stack at time t = [ [ ], [ [ function call with name: name and arguments: args, ys ], rest ] ]
• Value Stack at time t = [ values, v_rest ]
• there is a function named name with parameters params at line line
• Parameters List at time t = None

then Context Stack at time (t + 1) = Context Stack at time t