TestEqualsModProofIrrelevancy

1119674    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 
1119674    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.3ns 
1119721    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1119908    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1119908    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1119908    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1119908    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1120602    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1125323    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s 
1125385    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1126346    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 930.44ms 
1126346    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 
1126346    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.7ns 
1126346    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1130697    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 
1130760    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1131325    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 530.15ms