IntroduceRecord tests and an improvement