Constraint qualification analysis in Kuhn-Tucker theorem