if expression state at time t = "return", then Python Object Store at time (t + 1) = Python Object Store at time t