REPL console returns old state when trace is finished