TestTermParserHeap

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

tests
0

failures
0

ignored
0.224s

duration
100%

successful

Tests

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

Standard output

296090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
304960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335572     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) 
338344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
365909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
393206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393206     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0