TestTermParserHeap

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

tests
0

failures
0

ignored
0.266s

duration
100%

successful

Tests

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

Standard output

560352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
615454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636838     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
642209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
642209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
642210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
642211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647539     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647539     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
652865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663539     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663539     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
663554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
668930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
759270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
764549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
764549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
764549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
764549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
764549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
764549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
764549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
764549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
764549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
764549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
764549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
764549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
764549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
764549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
764549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
764549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
764549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
764549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
764549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
764549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0