testOp3

Tests that a theory containing

:- op(2, xfx, '++').
:- op(3, xfy, '+++').
:- op(4, yfx, '++++').

loaded via any of DirectiveTestsUtils.solverInitializers results in a solver whose operators set contains all three newly-declared operators, with the declared priority and specifier.