TestTermParserHeap

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

tests
0

failures
0

ignored
0.214s

duration
100%

successful

Tests

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

Standard output

401922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
436208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449613     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) 
452896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
510684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0