TestTermParserHeap

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

tests
0

failures
0

ignored
0.419s

duration
100%

successful

Tests

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

Standard output

380059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429317     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) 
432768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
439589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
482033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0