TestEqualsModProofIrrelevancy

1374192    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 
1374192    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.06ms 
1374211    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1374399    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1374399    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1374399    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1374414    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1375166    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1380765    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.55s 
1380843    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1382125    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.25s 
1382125    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 
1382125    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.5ns 
1382125    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1387453    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 
1387500    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1388172    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 632.11ms