TestTermParserHeap

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

tests
0

failures
0

ignored
0.123s

duration
100%

successful

Tests

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

Standard output

307408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313430     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
325265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331131     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339957     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339957     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342925     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
345863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
345864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
345865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
348814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348816     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
348820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348823     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) 
351736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
351737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
357631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
366523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375318     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375318     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
375319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
384123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
387157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398962     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
401925     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
416547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
416549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419483     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0