testFDefNotUnify
Tests the query
?- '\\='(f(X,def),f(def,Y)).Content copied to clipboard
fails on a solver initialized with default built-ins and with and empty theory,
Tests the query
?- '\\='(f(X,def),f(def,Y)).fails on a solver initialized with default built-ins and with and empty theory,