TestTermParserHeap

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

tests
0

failures
0

ignored
0.232s

duration
100%

successful

Tests

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

Standard output

354011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
374411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
381142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401880     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) 
405358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
425600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
428937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
459293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0