TestEqualsModProofIrrelevancy

1157075    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 
1157075    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.5ns 
1157091    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1157263    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1157263    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1157263    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1157263    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1158123    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1162959    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.87s 
1163053    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1163960    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 881.17ms 
1163971    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 
1163971    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.8ns 
1163971    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1168485    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 
1168532    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1168969    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 408.14ms