TestTermParserHeap

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

tests
0

failures
0

ignored
0.137s

duration
100%

successful

Tests

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

Standard output

280847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
280862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318525     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) 
321154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
347526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0