TestEqualsModProofIrrelevancy

1454541    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 
1454541    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.3ns 
1454603    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1454847    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1454863    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1454863    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1454863    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1455816    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1461915    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.31s 
1461993    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1463620    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.54s 
1463620    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 
1463620    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.5ns 
1463620    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1469250    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.63s 
1469312    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1470126    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 770.84ms