TestEqualsModProofIrrelevancy

972703     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 
972703     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.3ns 
972735     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
972891     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
972891     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
972891     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
972891     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
973579     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
977345     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s 
977424     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
978409     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 955.3ms 
978409     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 
978409     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.1ns 
978409     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
981973     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 
982035     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
982739     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 682.38ms