complete IntroduceLocalExtension.
modify the TDD spce in order to adapt refactored code.