TestEqualsModProofIrrelevancy

891208     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 
891208     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.5ns 
891286     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
891427     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
891427     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
891427     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
891427     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
891911     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
895757     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 
895820     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
896601     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 757.19ms 
896601     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 
896601     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.3ns 
896601     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
899916     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 
899979     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
900573     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 575.17ms