TestEqualsModProofIrrelevancy

1121108    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 
1121108    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.2ns 
1121123    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1121295    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1121295    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1121295    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1121295    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1122045    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1126626    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 
1126688    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1127360    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 639.01ms 
1127360    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 
1127360    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.8ns 
1127360    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1131691    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 
1131738    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1132175    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 404.16ms