On Path Consistency For Binary Constraint Satisfaction Problems