uniqueSolutionsDropsSolutionsWithARepeatedTerm

Tests that, with unique_solutions set to on, member(X, [1, 1, 1]) yields a single yes solution (X = 1) instead of three, since the later two repeat the first one's solved-query term.