if the following are true:

• expression state at time t = "call_build_args"
• the expression at time t = Python constructor with name: class_name and arguments: args
• Function Variables Map at time t = [ ]
• Parameters List at time t = [ self, p_rest ]

then Variables Map at time (t + 1) = Variables Map at time t