TestEqualsModProofIrrelevancy

1155069    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 
1155069    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.3ns 
1155085    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1155304    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1155304    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1155304    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1155304    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1155992    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1160626    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.55s 
1160689    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1161940    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.21s 
1161940    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 
1161940    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 471.1ns 
1161940    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1166341    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 
1166388    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1166919    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 498.83ms