added tests for IntroduceRecord quickfix