TestTermParserHeap

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

tests
0

failures
0

ignored
0.127s

duration
100%

successful

Tests

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

Standard output

302829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
305658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
312097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
318754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
318756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
318758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
321984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
344888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348176     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) 
351439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
354721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
364613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
367900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
371212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
374477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
384041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
387145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
390264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
393431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396585     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396585     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
396586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
396588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
396589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
405754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408809     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408809     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
408810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
417382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
423233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0