TestTermParserHeap

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

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

295686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334047     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) 
336790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
350370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0