• expression state at time t = "begin_expr"
• the expression at time t = Python dictionary entries

then parent stack at time (t + 1) = [ Python dictionary entries, parent stack at time t ]