testFindXtoDoubleAssigment

Tests the query

findall(X,(X=1 ; X=2),[X,Y]).

succeeds on a solver initialized with default built-ins and with and empty theory, producing 2 solutions which bind variable X to the value 1 and Y to the value 2, respectively.