TestTermParserHeap

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

tests
0

failures
0

ignored
0.228s

duration
100%

successful

Tests

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

Standard output

301510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
315931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315931     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315931     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
341509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341509     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) 
344345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
389213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0