TestTermParserHeap

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

tests
0

failures
0

ignored
0.314s

duration
100%

successful

Tests

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

Standard output

546082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556545     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556561     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556561     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
587386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
602683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
602683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
602683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
602683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
602683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
618011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
618014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618016     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) 
623152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
659114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
684687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699915     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699915     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
710119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
710119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
710119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
710119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
710119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0