likely_repl now returns the new environment