TestTermParserHeap

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

tests
0

failures
0

ignored
0.279s

duration
100%

successful

Tests

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

Standard output

362121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
365327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
377804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
394411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
401431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408312     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) 
411704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
425744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
457985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0