TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
tests
failures
ignored
0.210s
duration
100%
successful
Tests
Standard output
Tests

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

376551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426595     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
430049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
444073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
464285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
482117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
492723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
499687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
506829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
510444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0