TestTermParserHeap

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

tests
0

failures
0

ignored
0.120s

duration
100%

successful

Tests

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

Standard output

281013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
281014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
286363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
286364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
286366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
291661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291661     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 
294294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
294294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
302178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
304758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
310044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
312731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
318047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318048     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) 
320666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
328489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
328491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
333966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
336587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
339085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
346937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
349466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
352166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
357522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
357523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
365384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
370752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
381032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0