TestTermParserHeap

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

tests
0

failures
0

ignored
0.321s

duration
100%

successful

Tests

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

Standard output

574337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
601040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
622351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
632983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
648933     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) 
654202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
680731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
701664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
717284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
733595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
744386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
744386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
744386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
744386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
744386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
744386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
744386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
744386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
744386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
744386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
744386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
744386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
744386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
744386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
744386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
744386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
744402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
744402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
744402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
744402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
749907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
749907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
749923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
749923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
749923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
749923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
749923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
749923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
749923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
749923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
749923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
749923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
749923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
749923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
749923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
749923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
749923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
749923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
749923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
749923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
755396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
755396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
755396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
755396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
755396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
755396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
755396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
755396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
755396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
755396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
755396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
755396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
755396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
755396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
755396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
755396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
755396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
755396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
755396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
755396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
760883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
760883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
760883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
760883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
760883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
760883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
760883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
760883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
760883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
760883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
760883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
760883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
760883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
760883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
760883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
760883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
760883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
760883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
760883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
760883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
766341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
766341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
766341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
766341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
766341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
766341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
766341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
766341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
766341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
766341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
766341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
766341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
766341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
766341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
766341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
766341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
766341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
766341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
766341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
766341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
771688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
771688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
771688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
771688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
771688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
771688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
771688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
771688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
771688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
771688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
771688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
771688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
771688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
771688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
771688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
771688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
771688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
771688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
771688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
771688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
777129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
777129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
777129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
777129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
777129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
777129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
777129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
777129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
777129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
777129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
777129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
777129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
777129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
777129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
777129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
777129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
777129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
777129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
777129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
777129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0