if the following are true:

• expression state at time t = "call_build_args"
• Parameters List at time t = [ var, frest ]

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