TestEqualsModProofIrrelevancy

841445     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/../../../../../key.ui/examples/heap/verifyThis15_1_RelaxedPrefix/relax.proof 
841445     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.1ns 
841448     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
841622     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
841622     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
841623     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
841623     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
842189     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
846354     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 
846424     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
848770     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.31s 
848772     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/../../../../../key.ui/examples/heap/verifyThis15_1_RelaxedPrefix/relax.proof 
848772     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.4ns 
848773     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
853028     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 
853074     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
853728     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 637.61ms