if the following are true:

• Value Stack at time t = [ [ a, [ ] ], [ next_level, other_levels ] ]
• Expression Stack at time t = [ [ ], [ [ name."pop"(args), ys ], rest ] ]
• value at name in map (Variables Map at time t) = Python reference idx
• the element at index idx of stack (Python Object Store at time t) = Python list entries

then Value Stack at time (t + 1) = [ [ the element at index a of stack entries, next_level ], other_levels ]