TestTermParserHeap

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

tests
0

failures
0

ignored
0.260s

duration
100%

successful

Tests

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

Standard output

512588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
512604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
527618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
532979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582153     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<155>,1:11] (termEOF) 
587041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
665398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
665398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
665398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
665398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
665398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
665398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
665398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
665398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
665398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
665398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
665398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
665398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
665398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
665398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
665398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
665398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
665398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
665398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
665398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
665398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
670505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0