TestEqualsModProofIrrelevancy

771489     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 
771489     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 173ns 
771504     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
771629     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
771629     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
771629     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
771629     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
772051     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
775272     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 
775335     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
776179     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 827.12ms 
776179     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 
776179     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.4ns 
776179     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
778994     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 
779041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
779510     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 456.79ms