testFindXinSameXValues

Tests the query

?- findall(X,(X=1 ; X=1),S).

succeeds on a solver initialized with default built-ins and with and empty theory, producing 1 solution which binds variable S the list [1, 1].