TestEqualsModProofIrrelevancy

1105310    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 
1105310    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 807.6ns 
1105342    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1105522    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1105522    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1105522    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1105522    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1106204    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1110812    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 
1110875    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1111781    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 886.07ms 
1111781    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 
1111797    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 447.6ns 
1111797    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1116132    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 
1116194    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1116586    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 356.63ms