TestEqualsModProofIrrelevancy

1173886    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 
1173886    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.4ns 
1173918    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1174090    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1174090    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1174105    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1174105    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1174872    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1180001    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.08s 
1180079    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1180782    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 678.42ms 
1180782    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 
1180782    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.2ns 
1180782    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1185582    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 
1185645    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1186145    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 479.82ms