Add "modifyExtensionField" utility function