We consider model selection for non-linear dynamic equations with more candidate variables than observations, based on a general class of non-linear-in-the-variables functions, addressing possible location shifts by impulse-indicator saturation. After an automatic search delivers a simplified congruent terminal model, an encompassing test can be implemented against an investigator’s preferred n...