TestTermParserHeap

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

tests
0

failures
0

ignored
0.201s

duration
100%

successful

Tests

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

Standard output

440563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
453187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498418     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) 
502558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
518970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
523065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
564646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
581087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
581087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
581087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
581087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0