TestTermParserHeap

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

tests
0

failures
0

ignored
0.486s

duration
100%

successful

Tests

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

Standard output

342049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
383965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387170     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) 
390312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406244     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406244     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409762     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
416142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
444709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
447882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457435     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457435     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0