TestEqualsModProofIrrelevancy

1321557    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 
1321557    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 12.23ms 
1321604    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1322127    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1322127    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1322127    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1322127    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1322871    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1328755    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.14s 
1328833    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1329815    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 943.66ms 
1329815    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 
1329815    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 538ns 
1329815    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1334787    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 
1334849    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1335318    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 429.94ms