testDoubleAbolish
Tests the queries
?- abolish(abolish/1).Content copied to clipboard
fails on a solver initialized with default built-ins and with and empty theory, producing exception permission_error(modify,static_procedure,abolish/1).