TestTermParserHeap

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

tests
0

failures
0

ignored
0.200s

duration
100%

successful

Tests

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

Standard output

449210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509635     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) 
513931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586816     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586816     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608561     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608561     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608561     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608561     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608561     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0