TestTermParserHeap

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

tests
0

failures
0

ignored
0.200s

duration
100%

successful

Tests

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

Standard output

285690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299448     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299448     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
304782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323481     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) 
326139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347602     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347602     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
347618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379779     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0