TestTermParserHeap

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

tests
0

failures
0

ignored
0.200s

duration
100%

successful

Tests

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

Standard output

438888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498670     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) 
502903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
502919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511317     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511317     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
540633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
540633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
540633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
540633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544785     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544785     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
573924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
582176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590407     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0