TestEqualsModProofIrrelevancy

1391895    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 
1391895    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 546.8ns 
1391942    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1392161    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1392161    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1392161    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1392161    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1393130    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1398838    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.89s 
1398931    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1399885    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 911.67ms 
1399885    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 
1399885    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.3ns 
1399885    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1405184    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 
1405247    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1405950    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 657.43ms