TestTermParserHeap

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

tests
0

failures
0

ignored
0.207s

duration
100%

successful

Tests

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

Standard output

354623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
401223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401223     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) 
404551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
418076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418076     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418076     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
467557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0