TestTermParserHeap

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

tests
0

failures
0

ignored
0.329s

duration
100%

successful

Tests

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

Standard output

349889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
389398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395913     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) 
399108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415314     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415314     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415314     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415314     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415314     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415314     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415314     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415314     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415314     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441884     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441884     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441884     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441884     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441884     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0