98783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
98783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.7ns
98783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
98913 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean
98960 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure*/
int, formerNode: int
98961 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
int, formerNode: int
98961 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean
98961 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
char, formerNode: char
98961 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: byte[], formerNode: byte[]
98961 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String
98977 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String
98977 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object
99008 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure@*/
String, formerNode: String
99052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 262.78ms
99068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
99068 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
99068 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
99095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
99096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.4ns
99096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
99212 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean
99260 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure*/
int, formerNode: int
99260 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
int, formerNode: int
99260 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean
99260 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
char, formerNode: char
99260 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: byte[], formerNode: byte[]
99260 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String
99275 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String
99275 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object
99306 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure@*/
String, formerNode: String
99353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 261.65ms
99384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
99400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
99400 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
99400 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
99400 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'