TestTermParserHeap

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

tests
0

failures
0

ignored
0.122s

duration
100%

successful

Tests

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

Standard output

364965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
364966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
364967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
379029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385841     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
396112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413321     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) 
416791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
416791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
420151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
423591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
423592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
423593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
427021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
430457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
444055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
450937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
454366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
454367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454368     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454368     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454368     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454368     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454368     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454369     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
457814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
464563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
468021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
468022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
468023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
471337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
474770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
478130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
481655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0