TestTermParserHeap

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

tests
0

failures
0

ignored
0.218s

duration
100%

successful

Tests

Test Duration Result
testAccessStaticMembers() 0.008s passed
testAllFieldsSelector() 0.004s passed
testAtOperator_1() 0.003s passed
testAtOperator_2() 0.002s passed
testAtOperator_3() 0.004s passed
testAtOperator_4() 0.011s passed
testAtOperator_5() 0.005s passed
testAtOperator_6() 0.003s passed
testAtOperator_7() 0.003s passed
testAtOperator_8() 0.008s passed
testBracketHeapUpdate() 0.020s passed
testBugResettingCounter() 0.006s passed
testGenericObjectProperties() 0.004s passed
testLocationSets() 0.007s passed
testParsePrettyPrintedSelect() 0.008s passed
testQuantifiedSelect() 0.005s passed
testQueryBasic_1() 0.003s passed
testQueryBasic_10() 0.004s passed
testQueryBasic_11() 0.004s passed
testQueryBasic_2() 0.004s 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.004s passed
testQueryBasic_9() 0.003s passed
testQueryInheritance_1() 0.003s passed
testQueryInheritance_2() 0.006s passed
testQueryInheritance_3() 0.008s passed
testQueryInheritance_4() 0.004s passed
testQueryInheritance_5() 0.004s passed
testQueryInheritance_6() 0.002s passed
testQueryInheritance_7() 0.004s passed
testQueryInheritance_8() 0.004s passed
testQueryInheritance_9() 0.003s passed
testStore() 0.011s passed
testUnknownConstant() 0.019s passed
testVerifyExceptionIfAtOperatorNotPreceededBySelectTerm() 0.008s passed

Standard output

445454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
454200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
504430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504430     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
508607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
580060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0