TestTermParserHeap

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

tests
0

failures
0

ignored
0.238s

duration
100%

successful

Tests

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

Standard output

397724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
412373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447960     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) 
451555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476539     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476539     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476539     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
508606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0