TestTermParserHeap

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

tests
0

failures
0

ignored
0.089s

duration
100%

successful

Tests

Test Duration Result
testAccessStaticMembers() 0.003s passed
testAllFieldsSelector() 0.002s passed
testAtOperator_1() 0.001s passed
testAtOperator_2() 0.004s passed
testAtOperator_3() 0.001s passed
testAtOperator_4() 0.004s passed
testAtOperator_5() 0.001s passed
testAtOperator_6() 0.002s passed
testAtOperator_7() 0.003s passed
testAtOperator_8() 0.002s passed
testBracketHeapUpdate() 0.013s passed
testBugResettingCounter() 0.002s passed
testGenericObjectProperties() 0.003s passed
testLocationSets() 0.002s passed
testParsePrettyPrintedSelect() 0.001s passed
testQuantifiedSelect() 0.004s passed
testQueryBasic_1() 0.001s passed
testQueryBasic_10() 0.001s passed
testQueryBasic_11() 0.001s 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.001s passed
testQueryBasic_8() 0.001s passed
testQueryBasic_9() 0.001s passed
testQueryInheritance_1() 0.002s passed
testQueryInheritance_2() 0.004s passed
testQueryInheritance_3() 0.002s passed
testQueryInheritance_4() 0.002s passed
testQueryInheritance_5() 0.002s passed
testQueryInheritance_6() 0.001s passed
testQueryInheritance_7() 0.002s passed
testQueryInheritance_8() 0.001s passed
testQueryInheritance_9() 0.002s passed
testStore() 0.007s passed
testUnknownConstant() 0.001s passed
testVerifyExceptionIfAtOperatorNotPreceededBySelectTerm() 0.002s passed

Standard output

261936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
269602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
269603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
269603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
269603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
269603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
269603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
269603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
269603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
269603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
269603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
277073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
279547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
296881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296882     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) 
299351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
306802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
311754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
311755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
339007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
346426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
348901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0