TestTermParserHeap

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

tests
0

failures
0

ignored
0.167s

duration
100%

successful

Tests

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

Standard output

305136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
319136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
324597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343677     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) 
346399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
349140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0