testSetFlagFail

Tests the queries

?- (set_prolog_flag(unknown, fail), undef_pred).

fails on a solver initialized with default built-ins and with and empty theory,