TestTermParserHeap

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

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

363613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
412737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412737     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) 
416240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
441193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490463     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490463     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490463     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490463     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490463     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0