Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems