TestTermParserHeap

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

tests
0

failures
0

ignored
0.195s

duration
100%

successful

Tests

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

Standard output

317896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332039     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332039     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332039     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332039     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332039     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332039     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332039     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332039     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332039     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332039     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332039     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332039     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332039     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
349084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357451     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) 
360202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
360218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0