TestEqualsModProofIrrelevancy

1443584    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 
1443584    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms 
1443617    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1443867    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1443867    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1443867    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1443867    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1444900    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1451015    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.41s 
1451109    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1452328    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.18s 
1452328    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 
1452328    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.6ns 
1452328    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1457893    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.57s 
1457987    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1458549    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 537.73ms