TestEqualsModProofIrrelevancy

1458373    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 
1458373    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.8ns 
1458420    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1458697    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1458697    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1458697    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1458697    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1459645    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1466425    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 8.01s 
1466519    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1467688    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.13s 
1467688    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 
1467688    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.2ns 
1467703    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1473534    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.84s 
1473612    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1474222    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 575.91ms