TestEqualsModProofIrrelevancy

812076     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 
812076     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.4ns 
812091     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
812248     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
812248     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
812248     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
812263     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
812802     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
816958     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 
817765     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
821103     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.29s 
821103     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 
821103     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.7ns 
821103     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
824230     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
824292     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
824777     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 470.34ms