TestEqualsModProofIrrelevancy

1095744    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 
1095744    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.7ns 
1095775    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1095948    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1095948    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1095948    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1095948    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1096557    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1101030    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 
1101093    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1101780    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 659.25ms 
1101780    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 
1101780    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 483ns 
1101780    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1105910    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 
1105956    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1106410    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 420.24ms