TestTermParserHeap

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

tests
0

failures
0

ignored
0.141s

duration
100%

successful

Tests

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

Standard output

346939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
350414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
364041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
367295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
393572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393573     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) 
396911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400274     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
400275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
403516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
403518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
406831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
406834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410288     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410288     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
410290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
413612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
423718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
433497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
436828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
436829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440132     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440132     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
453496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
456683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473279     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473279     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0