testOrNotCutFail
Tests the queries
?- ((X = 1;X = 2), \+((!,fail))).Content copied to clipboard
succeeds on a solver initialized with default built-ins and with and empty theory, producing 2 solutions which binds variable X to 1 and X to 2.