TestTermParserHeap

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

tests
0

failures
0

ignored
0.416s

duration
100%

successful

Tests

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

Standard output

431470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
451904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
476250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
480785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489801     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) 
494085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559294     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 17 ms 
568603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573421     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573421     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573421     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573421     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573421     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0