TestEqualsModProofIrrelevancy

1391544    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 
1391544    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.3ns 
1391562    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1391812    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1391812    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1391812    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1391812    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1392672    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1398620    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.05s 
1398698    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1399917    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.18s 
1399917    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 
1399917    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.6ns 
1399917    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1405319    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 
1405382    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1406038    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 627.68ms