Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems