TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
39

tests
0

failures
0

ignored
0.232s

duration
100%

successful

Tests

Test Duration Result
testAccessStaticMembers() 0.010s passed
testAllFieldsSelector() 0.003s passed
testAtOperator_1() 0.004s passed
testAtOperator_2() 0.001s passed
testAtOperator_3() 0.008s passed
testAtOperator_4() 0.014s passed
testAtOperator_5() 0.002s passed
testAtOperator_6() 0.004s passed
testAtOperator_7() 0.004s passed
testAtOperator_8() 0.011s passed
testBracketHeapUpdate() 0.030s passed
testBugResettingCounter() 0.004s passed
testGenericObjectProperties() 0.007s passed
testLocationSets() 0.005s passed
testParsePrettyPrintedSelect() 0.006s passed
testQuantifiedSelect() 0.005s passed
testQueryBasic_1() 0.002s passed
testQueryBasic_10() 0.004s passed
testQueryBasic_11() 0.006s passed
testQueryBasic_2() 0.004s passed
testQueryBasic_3() 0.008s passed
testQueryBasic_4() 0.007s passed
testQueryBasic_5() 0.002s passed
testQueryBasic_6() 0.006s passed
testQueryBasic_7() 0.006s passed
testQueryBasic_8() 0.004s passed
testQueryBasic_9() 0.004s passed
testQueryInheritance_1() 0.005s passed
testQueryInheritance_2() 0.009s passed
testQueryInheritance_3() 0.005s passed
testQueryInheritance_4() 0.004s passed
testQueryInheritance_5() 0.003s passed
testQueryInheritance_6() 0.004s passed
testQueryInheritance_7() 0.004s passed
testQueryInheritance_8() 0.003s passed
testQueryInheritance_9() 0.004s passed
testStore() 0.011s passed
testUnknownConstant() 0.003s passed
testVerifyExceptionIfAtOperatorNotPreceededBySelectTerm() 0.006s passed

Standard output

382951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
382967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
397196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
414784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432638     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
436125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
446757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0