TestTermParserHeap

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

tests
0

failures
0

ignored
0.190s

duration
100%

successful

Tests

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

Standard output

330856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
330871     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330871     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330871     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355750     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
361827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373959     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) 
377064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
389458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
395651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
407942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416994     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
429137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0