TestEqualsModProofIrrelevancy

1126060    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 
1126060    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 711.7ns 
1126076    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1126248    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1126248    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1126248    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1126248    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1127014    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1131607    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 
1131670    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1132593    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 896.17ms 
1132608    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 
1132608    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.8ns 
1132608    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1136951    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 
1136999    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1137405    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 388.81ms