TestTermParserHeap

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

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

435866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494790     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) 
498928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0