testAbolishFlag
Tests the queries
?- (current_prolog_flag(max_arity,A), X is A + 1, abolish(foo/X)).Content copied to clipboard
fails on a solver initialized with default built-ins and with and empty theory, producing exception representation_error(max_arity).