TestTermParserHeap

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

tests
0

failures
0

ignored
0.203s

duration
100%

successful

Tests

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

Standard output

390028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439667     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) 
443126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
446628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457200     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457200     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
460670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
478214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
478214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
478214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
478214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
488893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492473     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520663     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520663     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
524181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0