TestTermParserHeap

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

tests
0

failures
0

ignored
0.320s

duration
100%

successful

Tests

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

Standard output

348562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
348578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395843     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) 
399142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
453172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0