TestTermParserHeap

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

tests
0

failures
0

ignored
0.235s

duration
100%

successful

Tests

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

Standard output

549709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
549712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
549713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
549714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
555436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
555439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
555440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
560825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
560828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
566093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
571495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
577004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582287     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582287     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582287     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592802     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592802     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
592803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
598199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
598200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
603677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
608995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
608997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
608998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614368     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614368     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614368     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614368     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614368     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614368     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614368     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614368     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614368     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614368     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
614369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614369     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614369     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
625210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625213     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) 
630455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
635750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
640993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
646393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
672450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
677730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
683330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
683331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
693769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
704277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
709675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
709676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
715196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
715197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 7 ms 
715206     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
720732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
720749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
731102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
731103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
731103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
731103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
731103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
731103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
731103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
731103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
731103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
731103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
731103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
731103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
731103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
731103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
731103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
731103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
731103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
731103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
731103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
731103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
736414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
736414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
736415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
736415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
736415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
736415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
736415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
736415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
736415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
736415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
736415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
736415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
736415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
736415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
736415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
736415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
736415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
736415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
736415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
736415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
746840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
752092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
752092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
752092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
752092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
752092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
752093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
752093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
752093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
752093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
752093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
752093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
752093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
752093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
752093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
752093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
752093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
752093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
752093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
752093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
752093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0