TestEqualsModProofIrrelevancy

965238     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 
965238     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.9ns 
965270     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
965444     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
965444     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
965444     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
965444     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
966128     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
970864     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.6s 
970943     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
976802     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.85s 
976802     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 
976802     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns 
976818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
980552     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 
980614     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
981287     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 659.76ms