Add trace for REPL