TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
39

tests
0

failures
0

ignored
0.191s

duration
100%

successful

Tests

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

Standard output

282031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
282047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
298599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
306683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
314772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
320135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320135     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) 
322813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
322829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0