testNegativeArgFromFoo
Tests the query
?- arg(-3,foo(a,b),A).Content copied to clipboard
fails on a solver initialized with default built-ins and with and empty theory, producing exception domain_error(not_less_than_zero,-3).