TestTermParserHeap

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

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

378780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426976     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) 
430472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441100     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441100     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
508504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0