TestTermParserHeap

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

tests
0

failures
0

ignored
0.113s

duration
100%

successful

Tests

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

Standard output

327309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
327310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
330531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
343246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
346436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
352671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
355779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
368211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
371353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371354     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) 
374409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
377533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
383800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
396328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
396329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
402571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
408785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
415116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
418268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
418269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
424440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
437084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
443440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0