Probable bug in Python 3 branches

[nano-o]

Hello, ivy on the Python 3 branches (both 2to3new and qpdr) gives strange results compared to master. For example, ivy_check trace=true token.ivy prints a trace with obvious contradictions (e.g. env.has_started(0) = true env.has_started(0) = false) while the master version prints a different, more sensible trace. token.ivy is here: https://github.com/dranov/soroban-decidable-verification/tree/a304495e47f248ac991cc4814f1f2a4040139987/models