This is something that should be possible in principle, since the machines underneath are deterministic, it’s just a limitation of the implementation.