TestContextStatementBlock

622        WARN  Test worker     d.u.i.k.s.ProofSettings   No proof-settings could be loaded, using defaults java.io.FileNotFoundException: C:\Users\runneradmin\.key\proof-settings.props (The system cannot find the path specified)
	at java.base/java.io.FileInputStream.open0(Native Method)

3205       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
3671       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
3702       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
3702       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
3717       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
3717       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
3735       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
3853       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
3872       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
4034       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
4125       INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 13 ms 
4126       DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  D:\a\key\key\key.core\src\test\resources\testcase\testrules.key:9#1 
4127       INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
4127       DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
4438       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: --#v;, formerNode: --#v 
4454       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #v = #e;, formerNode: #v = #e 
4501       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #t, formerNode: #t 
4501       DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 371ms