if the following are true:

• expression state at time t = "call_build_args"
• Parameters List at time t = [ ]
• the expression at time t = function call with name: name and arguments: args
• there is a function named name with parameters params at line line

then Control Map at time (t + 1) = [ entry 0: (pair ("function", name)), [ ] ]