prevent duplicates in CSP