TestEqualsModProofIrrelevancy

762208     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 
762208     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.4ns 
762231     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
762356     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
762356     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
762356     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
762356     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
762857     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
768791     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.56s 
768843     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
770041     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.17s 
770043     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 
770043     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.7ns 
770043     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
772935     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 
772981     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
773466     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 463.95ms