TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
tests
failures
ignored
0.270s
duration
100%
successful
Tests
Standard output
Tests

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

558413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
580993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
634116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634116     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) 
639385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
639385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
639385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
639385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
639385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
639385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
639385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
639385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
639385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
639385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
639385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
639385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
639385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
639385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
639385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
639385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
639385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
639385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
639385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
639385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
644650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
644650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
644650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
644650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
644650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
644650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
644650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
644650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
644650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
644665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
644665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
644665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
644665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
644665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
644665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
644665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
644665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
644665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
644665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
644665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
649958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
649958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
649958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
649958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
649958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
649958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
649958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
649958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
649958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
649958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
649958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
649958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
649958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
649958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
649958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660625     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
665959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
665959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
665959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
665959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
665974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
665974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
665974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
665974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
665974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
665974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
665974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
665974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
665974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
665974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
665974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
665974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
665974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
665974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
665974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
665974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
730199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740946     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740946     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740946     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740946     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740946     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740946     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740946     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740946     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
740962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0