A practical optimality condition without constraint qualifications for nonlinear programming