TestEqualsModProofIrrelevancy

746574     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 
746574     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 898ns 
746590     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
746715     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
746715     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
746715     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
746715     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
747121     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
750247     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 
750310     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
750968     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 638.43ms 
750968     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 
750968     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.7ns 
750983     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
753656     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
753703     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
754156     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 442.01ms