TestTermParserHeap

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

tests
0

failures
0

ignored
0.280s

duration
100%

successful

Tests

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

Standard output

540207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
571315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612294     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) 
617394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
637772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
723938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
723938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
723938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
723938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
723938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
723938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
723938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
723938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
723938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
723938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
723938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
723938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
723938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
723938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
723938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
723938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
723938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
723938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
723938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
723938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
734179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
734179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
734195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
734195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
734195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
734195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
734195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
734195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
734195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
734195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
734195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
734195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
734195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
734195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
734195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
734195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
734195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
734195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
734195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
734195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0