TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
tests
failures
ignored
0.207s
duration
100%
successful
Tests
Standard output
Tests

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

357509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
367655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
374284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
384212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
387604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404773     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) 
408307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
408322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
449466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
456251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0