A Sequential Optimality Condition Related to the Quasi-normality Constraint Qualification and Its Algorithmic Consequences.