testFDefUnify

Tests the query

?- '='(f(X,def),f(def,Y)).

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.