TestTermParserHeap

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

tests
0

failures
0

ignored
0.320s

duration
100%

successful

Tests

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

Standard output

368966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
375815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     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) 
419520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
480327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0