TestTermParserHeap

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

tests
0

failures
0

ignored
0.255s

duration
100%

successful

Tests

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

Standard output

551986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
609933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625649     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='@',<155>,1:11] (termEOF) 
631057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
690808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
701663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
712246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
739074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
739074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
739074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
739074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
739074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
739074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
739074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
739074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
739074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
739074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
739074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
739074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
739074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
739074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
739074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
739074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
739074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
739074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
739074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
739074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
744497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
744497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
744497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
744497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
744497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
744497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
744497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
744497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
744497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
744497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
744497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
744497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
744497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
744497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
744497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
744497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
744497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
744497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
744497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
744497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
749690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
749690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
749690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
749690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
749690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
749690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
749690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
749690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
749690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
749690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
749690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
749690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
749690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
749690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
749690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
749690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
749690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
749690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
749690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
749690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
755075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
755075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
755075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
755075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
755075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
755075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
755075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
755075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
755075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
755075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
755075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
755075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
755075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
755075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
755075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
755075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
755075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
755075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
755075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
755075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0