TestTermParserHeap

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

tests
0

failures
0

ignored
0.128s

duration
100%

successful

Tests

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

Standard output

322803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
344561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344561     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
347630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
353780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
356897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
363049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
363050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
366089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366090     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) 
369118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
369119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384314     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
384315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
384316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384318     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
384318     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
390396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
393514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
399641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
409007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
415242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
418331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
418332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
418333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
433714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0