TestTermParserHeap

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

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

362520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410740     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) 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
431346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
472156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 17 ms 
482133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
492091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0