if the following are true:

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

then the line at time (t + 1) = line + 1