if the following are true:

• expression state at time t = "begin_expr"
• the expression at time t = obj_name.method_name(args)

then parent stack at time (t + 1) = [ obj_name.method_name(args), parent stack at time t ]