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.007s passed
testAllFieldsSelector() 0.001s passed
testAtOperator_1() 0.001s passed
testAtOperator_2() 0.001s passed
testAtOperator_3() 0.001s passed
testAtOperator_4() 0.022s passed
testAtOperator_5() 0.003s passed
testAtOperator_6() 0.001s passed
testAtOperator_7() 0.001s passed
testAtOperator_8() 0.005s passed
testBracketHeapUpdate() 0.019s passed
testBugResettingCounter() 0.002s passed
testGenericObjectProperties() 0.002s passed
testLocationSets() 0.001s passed
testParsePrettyPrintedSelect() 0.001s passed
testQuantifiedSelect() 0.002s passed
testQueryBasic_1() 0.001s passed
testQueryBasic_10() 0.009s passed
testQueryBasic_11() 0.001s passed
testQueryBasic_2() 0.001s passed
testQueryBasic_3() 0.001s passed
testQueryBasic_4() 0.005s passed
testQueryBasic_5() 0.001s passed
testQueryBasic_6() 0.002s passed
testQueryBasic_7() 0.002s passed
testQueryBasic_8() 0.001s passed
testQueryBasic_9() 0.001s passed
testQueryInheritance_1() 0.005s passed
testQueryInheritance_2() 0.003s passed
testQueryInheritance_3() 0.001s passed
testQueryInheritance_4() 0.001s passed
testQueryInheritance_5() 0.001s passed
testQueryInheritance_6() 0.002s passed
testQueryInheritance_7() 0.004s passed
testQueryInheritance_8() 0.001s passed
testQueryInheritance_9() 0.001s passed
testStore() 0.007s passed
testUnknownConstant() 0.006s passed
testVerifyExceptionIfAtOperatorNotPreceededBySelectTerm() 0.001s passed

Standard output

322934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
326191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
329432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
329434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
329435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
329436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
332523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
335649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
338708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
344927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
348003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
351123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
351124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
351138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
351139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
354243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366591     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) 
369719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
369720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379039     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
379039     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
382280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
382282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
385720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
388853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
394967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
398103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
401157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
401159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
407626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
435831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
438968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0