TestEqualsModProofIrrelevancy

754156     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 
754156     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.4ns 
754187     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
754297     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
754297     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
754297     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
754297     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
754734     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
757940     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 
757986     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
758690     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 672.11ms 
758690     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 
758690     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.4ns 
758690     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
761550     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 
761613     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
762082     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 454.79ms