TestTermParserHeap

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

tests
0

failures
0

ignored
0.228s

duration
100%

successful

Tests

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

Standard output

370955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
395193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
408872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419081     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) 
422512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
425974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
429457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
464091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
484491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0