TestTermParserHeap

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

tests
0

failures
0

ignored
0.266s

duration
100%

successful

Tests

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

Standard output

428442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
479818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483727     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
487619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
507304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
531005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
542765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0