TestTermParserHeap

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

tests
0

failures
0

ignored
0.140s

duration
100%

successful

Tests

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

Standard output

519984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
530255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
540397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
545465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
545466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
550597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
555609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
565719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575772     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575772     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
585852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590828     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) 
595889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
595889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
595890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
605969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605969     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
616102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
621154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
636201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
646290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
646292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
646293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646294     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
651348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
666453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
671476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
676453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
676454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
686372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
691308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
696297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
706188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0