TestTermParserHeap

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

tests
0

failures
0

ignored
0.228s

duration
100%

successful

Tests

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

Standard output

539245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
570162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
600561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600561     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610653     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
615676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
635837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
712474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
727941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0