TestTermParserHeap

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

tests
0

failures
0

ignored
0.145s

duration
100%

successful

Tests

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

Standard output

321689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
321693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
324801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
327976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
334071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
337114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
343146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
346195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
346198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
349242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
352272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
358334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
364388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364390     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) 
367524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370561     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
376668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
385963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
394962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
404016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
407120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
410130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
413145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
416214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419238     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419238     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
419239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
419241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
422235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434318     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434318     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0