TestTermParserHeap

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

tests
0

failures
0

ignored
0.129s

duration
100%

successful

Tests

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

Standard output

468911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
478261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
487120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
491501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
495941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
500377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
504812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
526860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
526861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531380     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) 
536078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
541006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
541010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
541011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
545806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
550590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555314     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
555315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
564879     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564879     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564879     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564879     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564879     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564879     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564879     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564879     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564879     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
569552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
588341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
602610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
607386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
612278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
617106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
617107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
626562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
635829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
645357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0