TestEqualsModProofIrrelevancy

1195805    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 
1195805    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 691.7ns 
1195820    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1196070    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1196070    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1196070    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1196070    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1196745    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1203592    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.77s 
1203654    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1204551    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 838.76ms 
1204566    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 
1204566    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 199ns 
1204566    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1209006    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 
1209069    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1209460    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 367.51ms