TestEqualsModProofIrrelevancy

1137476    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 
1137476    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.8ns 
1137492    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1137680    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1137680    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1137680    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1137680    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1138305    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1143112    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 
1143175    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1144098    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 900.68ms 
1144113    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 
1144113    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 496ns 
1144113    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1148578    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 
1148625    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1149032    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 371.89ms