TestEqualsModProofIrrelevancy

928310     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 
928310     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.2ns 
928341     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
928514     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
928514     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
928514     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
928514     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
929156     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
933316     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 
933394     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
934943     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.54s 
934958     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 
934958     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 570.2ns 
934958     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
938634     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 
938696     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
939369     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 664.77ms