TestTermParserHeap

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

tests
0

failures
0

ignored
0.192s

duration
100%

successful

Tests

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

Standard output

279676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287735     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287735     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287735     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287735     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287735     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287735     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
303404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
308882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
314042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316606     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) 
319197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
329680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
329683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 47 ms 
343038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
374906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0