if the following are true:

• 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 the tab at time (t + 1) = the tab at time t