TestEqualsModProofIrrelevancy

909742     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 
909742     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.2ns 
909773     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
909914     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
909914     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
909914     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
909914     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
910445     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
917885     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 8.11s 
918010     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
919329     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.3s 
919329     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 
919329     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 424.9ns 
919329     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
922725     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
922772     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
923339     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 548.44ms