TestTermParserHeap

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

tests
0

failures
0

ignored
0.188s

duration
100%

successful

Tests

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

Standard output

291525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291525     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291525     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
294293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
329579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329579     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) 
332253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340274     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
340290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
369747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0