TestTermParserHeap

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

tests
0

failures
0

ignored
0.200s

duration
100%

successful

Tests

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

Standard output

377860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
391995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412401     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425410     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) 
428600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
438106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
464824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485058     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
485073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500643     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0