modify IntroduceLocalExtension.
modify the TDD spec in order to adapt the modified code.