TestTermParserHeap

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

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

415768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470266     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) 
474092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0