TestEqualsModProofIrrelevancy

967963     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 
967963     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.2ns 
967999     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
968227     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
968227     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
968227     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
968227     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
968914     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
977409     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 9.41s 
977488     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
979051     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.55s 
979066     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 
979066     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.1ns 
979066     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
982905     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 
982951     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
983706     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 726.25ms