TestTermParserHeap

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

tests
0

failures
0

ignored
0.202s

duration
100%

successful

Tests

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

Standard output

344541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
370900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
374203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374203     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374203     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390342     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) 
393640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406669     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406669     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
416446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
426074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
448620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
461416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0