TestEqualsModProofIrrelevancy

961383     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 
961383     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.32ms 
961399     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
961539     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
961539     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
961539     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
961539     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
962071     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
966105     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 
966183     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
967153     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 944.66ms 
967153     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 
967153     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.4ns 
967153     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
970608     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 
970655     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
971281     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 591.11ms