TestTermParserHeap

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

tests
0

failures
0

ignored
0.255s

duration
100%

successful

Tests

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

Standard output

401878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417245     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417245     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
421034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
440018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455176     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) 
458871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458871     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458871     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458871     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458871     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458871     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458871     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458871     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458871     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458871     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458871     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
492942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0