TestEqualsModProofIrrelevancy

884281     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 
884281     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.3ns 
884313     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
884492     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
884492     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
884492     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
884492     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
885129     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
892961     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 8.65s 
893044     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
894358     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.3s 
894373     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 
894373     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.3ns 
894373     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
897390     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 
897452     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
898015     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 553.92ms