TestTermParserHeap

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

tests
0

failures
0

ignored
0.239s

duration
100%

successful

Tests

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

Standard output

376518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
397957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
419085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
426142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426142     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) 
430171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454677     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461795     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461795     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
486557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
490046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507596     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507596     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0