TestEqualsModProofIrrelevancy

1391197    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 
1391197    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 866.6ns 
1391228    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1391463    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1391463    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1391463    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1391463    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1392342    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1398088    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.87s 
1398166    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1399381    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.17s 
1399381    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 
1399381    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.1ns 
1399396    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1404618    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 
1404681    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1405228    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 518.28ms