TestTermParserHeap

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

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

515184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
540233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
545216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
584854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584854     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) 
589770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
594698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
638379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0