TestEqualsModProofIrrelevancy

930925     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 
930925     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.6ns 
930958     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
931128     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
931128     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
931128     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
931128     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
931816     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
937476     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.53s 
938633     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
941152     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.48s 
941167     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 
941167     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.4ns 
941167     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
945051     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 
945098     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
945770     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 659.58ms