TestTermParserHeap

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

tests
0

failures
0

ignored
0.299s

duration
100%

successful

Tests

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

Standard output

461241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
465766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
487308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
508935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521875     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
526333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
530811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
577791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0