TestTermParserHeap

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

tests
0

failures
0

ignored
0.131s

duration
100%

successful

Tests

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

Standard output

339394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
339395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
352868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
356445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
359664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
362899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
369419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
372640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
375962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
375963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
375964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
379208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
382546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
385843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
385844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385847     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) 
389214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
389215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
399106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405546     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 
408727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
408727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
408728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
421614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
424868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434318     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434318     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434318     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434318     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434318     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434318     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434318     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434318     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434318     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434318     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434318     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434318     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
440598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
458847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0