TestTermParserHeap

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

tests
0

failures
0

ignored
0.179s

duration
100%

successful

Tests

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

Standard output

353558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
370668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393824     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
393840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400436     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) 
403694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403694     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403694     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403694     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426416     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436182     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
455328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477716     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0