step 4.1: @{print} at calling Output.report fails

..because no call of Output.report is reached by spark_vc procedure_g_c_d_4,
while in Naproche all semantic annotations are done by ONE Output.report .

src/Pure

src/FOL

src/HOL

src/ZF

src/CCL

src/CTT

src/Cube

src/FOLP

src/LCF

src/Sequents

src/Doc

src/Tools

src/Tools/isac

test/Tools/isac/ADDTESTS/session-get_theory

test/Tools/isac/ADDTESTS/new-session