TestTermParserHeap

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

tests
0

failures
0

ignored
0.293s

duration
100%

successful

Tests

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

Standard output

568171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
631653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642089     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
647326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
652630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
652630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
652630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
652630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
673581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
689373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
710042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
710042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
710042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
710042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
710042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
710042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
710042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
710042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
715265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
715265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
715265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
715265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
720471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
720471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
720471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
720471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
731007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
731007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
731007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
731007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
731007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
731007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
731007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
731007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
731007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
731007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
731007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
731007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
731007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
731007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
731022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
731022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
731022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
731022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
731022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
731022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
736198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
736198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
736198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
736198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
736198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
736198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
736198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
736198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
736198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
736198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
736198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
736198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
736198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
736198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
736198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
736198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
736198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
736198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
736198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
736198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741514     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741514     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
746658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
756993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
756993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
756993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
756993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
756993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
756993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
756993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
756993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
756993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
756993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
756993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
756993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
756993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
756993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
756993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
756993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
756993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
756993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
756993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
756993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
767358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
767358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
767358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
767358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
767358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
767358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
767358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
767358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
767358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
767358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
767358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
767358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
767358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
767358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
767358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
767358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
767358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
767358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
767358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
767358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0