TestTermParserHeap

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

tests
0

failures
0

ignored
0.124s

duration
100%

successful

Tests

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

Standard output

347110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
357045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
366706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
366709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
376444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
379648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
382878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
386136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
389345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
389346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
392565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
392567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392571     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) 
395766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
395767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
399029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
415139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
434501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
437686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
440967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
447336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
447338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
450559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
463313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
466617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0