TestTermParserHeap

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

tests
0

failures
0

ignored
0.545s

duration
100%

successful

Tests

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

Standard output

300158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328238     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
333742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339261     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) 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352958     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352958     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
358760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
361496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
383278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383278     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383278     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 31 ms 
391673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
397114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0