TestEqualsModProofIrrelevancy

1060183    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 
1060183    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.5ns 
1060198    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1060355    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1060355    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1060355    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1060355    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1061011    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1065325    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 
1065403    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1065997    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 576.72ms 
1065997    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 
1065997    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 443.4ns 
1066013    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1070062    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 
1070124    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1070547    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 393.01ms