TestEqualsModProofIrrelevancy

1012166    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 
1012166    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.8ns 
1012213    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1012385    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1012385    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1012385    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1012385    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1013011    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1017560    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 
1017638    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1018686    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.02s 
1018686    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 
1018686    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.69ms 
1018702    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1022548    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 
1022611    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1023298    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 668.34ms