TestTermParserHeap

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

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

364330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411260     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) 
414469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431048     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431048     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 31 ms 
431079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
434591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
467153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0