Local Structure of Feasible Sets in Nonlinear Programming - Part II. Nondegeneracy