TestEqualsModProofIrrelevancy

1452046    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 
1452046    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.8ns 
1452062    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1452280    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1452280    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1452280    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1452280    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1453171    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1459253    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.18s 
1459347    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1460223    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 845.55ms 
1460238    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 
1460238    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 398ns 
1460238    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1465868    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.63s 
1465931    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1466619    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 644.54ms