TestTermParserHeap

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

tests
0

failures
0

ignored
0.123s

duration
100%

successful

Tests

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

Standard output

330829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
337136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
340327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
346246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
349174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
358093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
364127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
367169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
373394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373395     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) 
376424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
376425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
379346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
379349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 4 ms 
388570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
388571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
391609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
400919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
406945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
410120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
425048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427988     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427988     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427988     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427988     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427988     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427988     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
427989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
430994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
430995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
434016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
442968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0