TestTermParserHeap

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

tests
0

failures
0

ignored
0.142s

duration
100%

successful

Tests

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

Standard output

350772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
357554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
360933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
364294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
367775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371078     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
374407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377699     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377699     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
381001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397598     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) 
400887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
404288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
407620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
410941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
414240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
417563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
420940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
420941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
424286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
427598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
434247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
444185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
457518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
464218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
467542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
470849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
474191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0