TestEqualsModProofIrrelevancy

1349527    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 
1349527    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.5ns 
1349546    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1349765    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1349765    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1349765    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1349765    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1350657    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1356564    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.02s 
1356642    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1357642    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 964.51ms 
1357642    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 
1357642    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.5ns 
1357642    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1362953    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 
1363015    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1363547    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 499.64ms