testCatchThrow
Tests the queries
?- (catch(true, C, write('something')), throw(blabla)).Content copied to clipboard
fails on a solver initialized with default built-ins and with and empty theory, producing exception system_error.