TestTermParserHeap

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

tests
0

failures
0

ignored
0.145s

duration
100%

successful

Tests

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

Standard output

345568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
348979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
355740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
362507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 8 ms 
362515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
372044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
378602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
378603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
385240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391891     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) 
395141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
395142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398444     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411594     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411594     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411594     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411594     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
411595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
424782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
428119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
438295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
441528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
451688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
455088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
458483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
461858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0