In order to validate our proposed approach, we tested different parametric polynomials with various types of nonlinear dependency. In all cases, except for a specially constructed example (3) below, the GA successfully tested the sufficiency condition. For brevity, we only consider three of the numerous examples we used to test our approach.