testDoubleUnify

Tests the query

?- ('='(X,Y),'='(X,abc)).

succeeds on a solver initialized with default built-ins and with and empty theory, producing 2 solution which binds variable X to abc and the variable Y to abc.