TestTermParserHeap

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

tests
0

failures
0

ignored
0.108s

duration
100%

successful

Tests

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

Standard output

360326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
360327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
363921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
370898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
374437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
377829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
377831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
384516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387946     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387946     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387946     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387946     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387946     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387946     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387946     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387946     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387946     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387946     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387946     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387946     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387946     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
398202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408435     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) 
411845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
428839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
428840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
445931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
469859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
480021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
486860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0