testFindXInDiffValues

Tests the query

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

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