constraint qualification