TestTermParserHeap

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

tests
0

failures
0

ignored
0.211s

duration
100%

successful

Tests

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

Standard output

429132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
486816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486816     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486816     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
490902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
553074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
577603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0