if the following are true:

• expression state at time t = "begin_expr"
• the expression at time t = Python constructor with name: class_name and arguments: args

then expression state at time (t + 1) = "iterate_args"