TestEqualsModProofIrrelevancy

1391941    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 
1391941    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.7ns 
1391987    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1392237    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1392237    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1392237    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1392237    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1393207    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1398966    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.97s 
1399044    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1399967    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 877.51ms 
1399967    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 
1399967    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.1ns 
1399967    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1405360    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 
1405423    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1406064    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 605.22ms