TestTermParserHeap

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

tests
0

failures
0

ignored
0.127s

duration
100%

successful

Tests

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

Standard output

354950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
354951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
358617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
362099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
365635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
369132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
372643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
376122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
379658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
386711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
393666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
396990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
400310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403590     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) 
406938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
406938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
410297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
427365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
427366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
441448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
441449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
444982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
451869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
455461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
458908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
462399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
465935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
472683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
476018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
479330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
479331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
482650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0