TestTermParserHeap

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

tests
0

failures
0

ignored
0.216s

duration
100%

successful

Tests

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

Standard output

349041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
394740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397976     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) 
401211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414159     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
434281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
444208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
460483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0