TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
tests
failures
ignored
0.202s
duration
100%
successful
Tests
Standard output
Tests

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

441477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500243     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500243     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500243     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) 
504496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
529863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0