TestTermParserHeap

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

tests
0

failures
0

ignored
0.189s

duration
100%

successful

Tests

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

Standard output

292793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
304171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
309682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315195     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315195     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320691     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320691     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331687     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) 
334406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
342638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342638     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342638     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345650     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345650     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
351130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356510     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356510     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
356526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359241     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359241     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361993     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364710     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364710     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
383898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0