TestTermParserHeap

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

tests
0

failures
0

ignored
0.246s

duration
100%

successful

Tests

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

Standard output

359508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
359524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
380672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408222     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) 
411682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
418624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
484271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0