TestEqualsModProofIrrelevancy

1164783    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 
1164783    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.7ns 
1164800    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1164997    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1164997    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1164997    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1164997    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1165717    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1170564    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.76s 
1170627    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1171455    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 795.69ms 
1171455    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 
1171455    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 555.8ns 
1171455    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1175973    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 
1176035    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1176457    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 388.78ms