TestEqualsModProofIrrelevancy

1231485    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 
1231485    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.9ns 
1231516    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1231704    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1231704    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1231704    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1231704    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1232501    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1237660    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.14s 
1237738    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1238708    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 937.09ms 
1238708    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 
1238708    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.5ns 
1238708    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1243475    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 
1243521    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1244288    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 731.75ms