TestTermParserHeap

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

tests
0

failures
0

ignored
0.212s

duration
100%

successful

Tests

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

Standard output

347461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
378786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
382071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391454     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) 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410917     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0