TestTermParserHeap

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

tests
0

failures
0

ignored
0.129s

duration
100%

successful

Tests

Test Duration Result
testAccessStaticMembers() 0.007s passed
testAllFieldsSelector() 0.001s passed
testAtOperator_1() 0.001s passed
testAtOperator_2() 0.002s passed
testAtOperator_3() 0.001s passed
testAtOperator_4() 0.007s passed
testAtOperator_5() 0.002s passed
testAtOperator_6() 0.002s passed
testAtOperator_7() 0.007s passed
testAtOperator_8() 0.003s passed
testBracketHeapUpdate() 0.018s passed
testBugResettingCounter() 0.002s passed
testGenericObjectProperties() 0.005s passed
testLocationSets() 0.005s passed
testParsePrettyPrintedSelect() 0.002s passed
testQuantifiedSelect() 0.003s passed
testQueryBasic_1() 0.002s passed
testQueryBasic_10() 0.002s passed
testQueryBasic_11() 0.005s passed
testQueryBasic_2() 0.003s passed
testQueryBasic_3() 0.002s passed
testQueryBasic_4() 0.002s passed
testQueryBasic_5() 0.001s passed
testQueryBasic_6() 0.002s passed
testQueryBasic_7() 0.002s passed
testQueryBasic_8() 0.002s 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.001s passed
testQueryInheritance_6() 0.002s passed
testQueryInheritance_7() 0.002s passed
testQueryInheritance_8() 0.001s passed
testQueryInheritance_9() 0.001s passed
testStore() 0.012s passed
testUnknownConstant() 0.003s passed
testVerifyExceptionIfAtOperatorNotPreceededBySelectTerm() 0.008s passed

Standard output

311327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
317602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
326847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
326851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
329859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
347752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
347752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
350759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353752     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) 
356737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
356738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
359749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
362812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
365850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
374911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
377976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
384051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
387092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
393241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
399343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
402355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
405412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
411630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
426618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0