if the following are true:

• Parameters List at time t = [ var, frest ]
• Argument Values at time t = [ value, vrest ]

then Function Variables Map at time (t + 1) = result of storing value at key: var in map: (Function Variables Map at time t)