TestTermParserHeap

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

tests
0

failures
0

ignored
0.310s

duration
100%

successful

Tests

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

Standard output

307816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307816     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307816     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307816     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307816     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307816     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307816     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
313459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
341135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346513     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) 
349248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394918     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394918     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0