if the following are true:

• Expression Stack at time t = [ [ ], [ [ Python list elements, ys ], rest ] ]
• Value Stack at time t = [ values, [ next_level, other_levels ] ]

then Python Object Store at time (t + 1) = result of appending (Python list (reverse of values)) to (Python Object Store at time t)