TestTermParserHeap

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

tests
0

failures
0

ignored
0.147s

duration
100%

successful

Tests

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

Standard output

454285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
471953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476329     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476329     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480643     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
480644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
485067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
485068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485068     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485068     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
493835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
511169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
511172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515495     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) 
519844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
532811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
537141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
541457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
545789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
550157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550159     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
563127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567463     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
567464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
571749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
576051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
576051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
576051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
576051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
601991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606360     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606360     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606360     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606360     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606360     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606360     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606360     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606360     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606360     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
610729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0