TestEqualsModProofIrrelevancy

1198865    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 
1198865    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.1ns 
1198911    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1199162    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1199162    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1199162    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1199162    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1200006    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1204985    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.06s 
1205063    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1206083    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 992.4ms 
1206083    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 
1206099    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 435.1ns 
1206099    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1210749    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 
1210826    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1211373    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 529.09ms