testSetFlag2

Tests that a theory containing

:- set_flag(a, 1).
:- set_flag(b, 2).
:- set_flag(c, 3).

loaded via any of DirectiveTestsUtils.solverInitializers results in a solver whose flags map contains a, b and c bound to 1, 2 and 3 respectively, alongside the default flags.