TestTermParserHeap

39

tests

0

failures

0

ignored

0.117s

duration

100%

successful

Tests

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

Standard output

448715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
457423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
461769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
466133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
470466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
474765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
483349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
487636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
496229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500539     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
509214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509215     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
513498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
513499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
522136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
530702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535030     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
535030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
543623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
543624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
560915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
565212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
582373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
582375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
586665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
590970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
608175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0