TestTermParserHeap

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

tests
0

failures
0

ignored
0.122s

duration
100%

successful

Tests

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

Standard output

353770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
353771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
364276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
377853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
377856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
381304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
384782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
388216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
391686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
402143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402144     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) 
405661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
409128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
409131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
412608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
416015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
419515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 4 ms 
426381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
426383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
429744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
440073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
440075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
450448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
453912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
474748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
481850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0