TestTermParserHeap

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

tests
0

failures
0

ignored
0.128s

duration
100%

successful

Tests

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

Standard output

364830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
364831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
372053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375566     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
399959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
399960     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
403409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
406822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
413831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413833     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413833     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
413834     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413834     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
413835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413838     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) 
417634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
417635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
417637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
421079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
428045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
434762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
441543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
441544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
448310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
455251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
458848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
458849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
465601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
469121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
486311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
493235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0