Reify constraints without duplicates.