TestTermParserHeap

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

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

287903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
325834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325834     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) 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
328524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
390184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0