TestTermParserHeap

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

tests
0

failures
0

ignored
0.160s

duration
100%

successful

Tests

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

Standard output

499035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
499036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
499038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
503803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
508640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
522555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
527265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
536925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
541711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
565270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565271     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
569969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
574798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
574801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
579727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
609128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
618926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
623774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
623778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628671     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628671     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628671     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
638214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
647808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
652760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
652761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
657642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662463     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662463     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662463     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662463     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662463     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
677496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0