removes duplication in FreeDef extractors