TestTermParserHeap

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

tests
0

failures
0

ignored
0.111s

duration
100%

successful

Tests

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

Standard output

324369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324369     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
324372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
327589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
342801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
348869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
364046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
367089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367091     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) 
370146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
379210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
382273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
400381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
403376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
406441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
421645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
427688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
430699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0