TestTermParserHeap

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

tests
0

failures
0

ignored
0.292s

duration
100%

successful

Tests

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

Standard output

386869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
401456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
412026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
422613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436886     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) 
440356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
447297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
496659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517594     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517594     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517594     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517594     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517594     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517594     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517594     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517594     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517594     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517594     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517594     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517594     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517594     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517594     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517594     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0