improved IntroduceRecord by introducing fields which were present in unresolved record; added a test for this;