testFindSumResult
Tests the query
?- findall(X+Y,(X=1),S).Content copied to clipboard
succeeds on a solver initialized with default built-ins and with and empty theory, producing 1 solution which binds variable S to [+(1, Y)].