TestTermParserHeap

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

tests
0

failures
0

ignored
0.126s

duration
100%

successful

Tests

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

Standard output

471078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
480846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
490317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
495050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
499666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
504390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
522037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
526501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
535719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535721     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) 
540615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
545293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
550213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
559873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
578338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
582652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
582653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
587103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
591871     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
591872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
596532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
596533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
596534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
601147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
610291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
623767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
628399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
637085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0