TestTermParserHeap

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

tests
0

failures
0

ignored
0.252s

duration
100%

successful

Tests

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

Standard output

404842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408641     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416396     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
428171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
443056     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458770     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) 
462493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
462508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
466229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
481192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492575     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492575     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
511399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511399     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511399     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
533182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0