TestTermParserHeap

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

tests
0

failures
0

ignored
0.265s

duration
100%

successful

Tests

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

Standard output

492482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
544180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
557661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557661     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) 
562131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
562146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
585037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
654929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0