Consistency for Quanti ed Constraint Satisfaction Problems