TestTermParserHeap

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

tests
0

failures
0

ignored
0.223s

duration
100%

successful

Tests

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

Standard output

312158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
327036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352661     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) 
355557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
370417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 32 ms 
387742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
399295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0