TestEqualsModProofIrrelevancy

889944     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 
889944     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.6ns 
889960     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
890110     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
890110     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
890110     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
890110     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
890639     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
894485     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 
895479     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
899560     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.05s 
899560     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 
899560     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.3ns 
899560     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
902941     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 
902988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
903495     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 484.68ms