TestTermParserHeap

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

tests
0

failures
0

ignored
0.271s

duration
100%

successful

Tests

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

Standard output

568530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
568546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
634589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645730     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) 
651129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
683780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
705546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
716447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
716447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
716447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
716447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
716447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
716447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
716447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
716447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
716447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
716447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
716447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
716447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
716447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
716447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
716447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
716447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
716447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
716447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
716447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
716447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
721910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
721910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
721910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
721910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
721910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
721910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
721910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
721910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
721910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
721910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
721910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
721910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
721910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
721910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
721910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
721910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
721910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
721910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
721910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
721910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
727361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
738061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
738077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
738077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
738077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
765454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
765454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
765454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
765454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
765454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
765454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
765454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
765454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
765454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
765454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
765454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
765454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
765454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
765454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
765454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
765454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
765454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
765454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
765454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
765454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
770935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
770935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
770935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
770935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
770935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
770935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
770935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
770935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
770935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
770935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
770935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
770935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
770935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
770935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
770935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
770935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
770935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
770935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
770935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
770935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
776471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
776471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
776471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
776471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
776471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
776471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
776471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
776471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
776471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
776471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
776471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
776471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
776471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
776471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
776471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
776471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
776471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
776471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
776471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
776471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0