testTermIsFreeVariable
Tests the query
?- (X = 1, var(X)).Content copied to clipboard
fails on a solver initialized with default built-ins and with an empty theory, since X is bound to 1 by the left conjunct before var(X) is evaluated.