if the following are true:

• expression state at time t = "call_function_begin"
• the expression at time t = function call with name: "len" and arguments: args

then Python Object Store at time (t + 1) = Python Object Store at time t