TestTermParserHeap

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

tests
0

failures
0

ignored
0.132s

duration
100%

successful

Tests

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

Standard output

340678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
343984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
347260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
350483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
353728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
366570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
369734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
376051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
382409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385522     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) 
388615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
391885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
395344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
398763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
405401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
405403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
411929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
421758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
428339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
431813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
444401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
450804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
457349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
457350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
463686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0