When we code extract some stuff, leave the codeRepl block in the place where