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 Control Map at time (t + 1) = [ entry 0: (pair ("function", name)), [ ] ]