TestTermParserHeap

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

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

585944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
608390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
613942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 31 ms 
635928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
647210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663688     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='@',<155>,1:11] (termEOF) 
669140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
680230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
680230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
680230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
680230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
685800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
685800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
685800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
685800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
696886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696886     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696886     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
702352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
702352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
702352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
702352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
752021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
752021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
752021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
752021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
752021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
752021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
752021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
752021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
752021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
752021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
752021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
752021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
752021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
752021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
752021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
752021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
752021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
752021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
752021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
752021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
757502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
763021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
763021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
763021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
763021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
763021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
763021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
763021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
763021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
763021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
763021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
763021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
763021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
763021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
763021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
763021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
763021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
763021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
763021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
763021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
763037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
768674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
768674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
768674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
768674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
768674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
768674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
768689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
768689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
768689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
768689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
768689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
768689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
768689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
768689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
768689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
768689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
768689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
768689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
768689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
768689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
774122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
774122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
774122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
774122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
774122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
774122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
774122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
774122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
774122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
774122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
774122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
774122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
774122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
774122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
774122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
774122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
774122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
774122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
774122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
774122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
779713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
779713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
779713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
779713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
779713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
779713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
779713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
779713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
779713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
779713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
779713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
779713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
779713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
779713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
779713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
779713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
779713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
779713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
779713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
779713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
785169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
785169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
785169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
785169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
785169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
785169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
785169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
785169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
785169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
785169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
785169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
785169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
785169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
785169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
785169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
785169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
785169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
785169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
785169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
785169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
790790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
790790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
790790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
790790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
790790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
790790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
790790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
790790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
790790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
790790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
790790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
790790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
790790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
790790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
790790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
790790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
790790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
790790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
790790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
790790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
796352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
796352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
796352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
796352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
796352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
796352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
796352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
796352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
796352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
796352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
796352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
796352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
796352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
796352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
796352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
796352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
796352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
796352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
796352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
796352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0