TestTermParserHeap

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

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

422745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484332     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
488836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561221     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561221     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561221     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561221     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561221     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561221     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561221     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561221     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561221     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561221     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561221     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561221     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561221     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561221     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561221     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561221     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561221     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561221     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561221     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561221     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
570258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574792     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574792     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0