TestEqualsModProofIrrelevancy

778045     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 
778045     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.1ns 
778062     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
778203     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
778203     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
778203     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
778203     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
778845     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
782364     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 
782427     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
783615     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.17s 
783615     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 
783615     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 328.4ns 
783615     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
786725     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 
786788     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
787288     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 457.28ms