TestTermParserHeap

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

tests
0

failures
0

ignored
0.152s

duration
100%

successful

Tests

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

Standard output

302674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
302689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
328908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339399     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) 
341963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383581     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383581     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383581     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
396462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0