TestEqualsModProofIrrelevancy

1054974    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 
1054974    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.69ms 
1055005    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1056679    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1056679    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1056679    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1056679    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1057428    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1062058    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.06s 
1062152    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1063889    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.7s 
1063921    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 
1063921    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.3ns 
1063936    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1067801    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 
1067879    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1068628    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 728.16ms