TestTermParserHeap

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

tests
0

failures
0

ignored
0.216s

duration
100%

successful

Tests

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

Standard output

351280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
357985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396862     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) 
400057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
416182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
419722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
432605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
439128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0