TestTermParserHeap

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

tests
0

failures
0

ignored
0.093s

duration
100%

successful

Tests

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

Standard output

262342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
264926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
264927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
267478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
270008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
275007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
275008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
275008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
275008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
275008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
275008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
275008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
275008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
275008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
275008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
275008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
275008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
275008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
275008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
275008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
275008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
275008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
275009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
275009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
275009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
277500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
287412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
289892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
292356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297323     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) 
299806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
309722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
314681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
317167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 9 ms 
317176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
324622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
332067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
346917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346917     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346917     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346917     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346917     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346917     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
349391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0