TestEqualsModProofIrrelevancy

1387926    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 
1387926    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 659.5ns 
1387957    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1388207    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1388207    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1388207    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1388207    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1389332    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1395581    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.62s 
1395659    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1396957    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.26s 
1396971    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 
1396973    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 591.6ns 
1396973    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1402864    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.89s 
1402927    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1403568    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 601.98ms