TestTermParserHeap

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

tests
0

failures
0

ignored
0.163s

duration
100%

successful

Tests

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

Standard output

280257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317485     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) 
320096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
328022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
354523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
375552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0