if the following are true:

• expression state at time t = "call_function_begin"
• the expression at time t = obj.attr
• Value Stack at time t = [ [ Python reference index, [ ] ], v_stack ]

then Value Stack at time (t + 1) = v_stack