TestTermParserHeap

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

tests
0

failures
0

ignored
0.285s

duration
100%

successful

Tests

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

Standard output

536842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608325     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) 
613407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
633564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
653669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
678924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
699000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0