TestTermParserHeap

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

tests
0

failures
0

ignored
0.374s

duration
100%

successful

Tests

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

Standard output

539756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539756     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544978     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
606456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
606456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
606456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
606456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
611568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
611568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
611568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
611568     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) 
616634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
723628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
723628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
723628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
723628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
723628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
723628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
723628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
723628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
723628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
723628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
723628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
723628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
723644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
723644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
723644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
723644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
723644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
723644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
723644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
723644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
728662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
728662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
728662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
728662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
733760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
733760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
733760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
733760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0