TestEqualsModProofIrrelevancy

1050354    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 
1050354    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.7ns 
1050386    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1050573    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1050573    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1050573    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1050573    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1051371    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1055858    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 
1055921    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1057077    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.14s 
1057093    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 
1057093    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 321.7ns 
1057093    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1061032    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 
1061095    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1061831    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 714.2ms