TestTermParserHeap

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

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

353166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
360088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366884     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366884     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366884     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366884     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366884     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366884     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
390082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400136     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) 
403419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
426964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
430327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
443673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
480146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0