TestTermParserHeap

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

tests
0

failures
0

ignored
0.210s

duration
100%

successful

Tests

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

Standard output

289523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
295120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
314068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327560     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) 
330249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338583     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
341304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
344008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357562     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357562     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
379076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379076     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379076     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379076     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381749     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 16 ms 
381765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0