TestTermParserHeap

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

tests
0

failures
0

ignored
0.246s

duration
100%

successful

Tests

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

Standard output

285082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285082     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285082     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285082     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287880     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293726     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293726     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299169     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299169     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323962     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) 
326722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
329532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
332322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354715     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365696     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365696     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 31 ms 
371247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376543     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0