TestEqualsModProofIrrelevancy

1183765    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 
1183765    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.5ns 
1183796    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1183968    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1183968    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1183968    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1183968    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1184750    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1189659    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.87s 
1189722    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1190519    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 757.99ms 
1190519    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 
1190519    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 499ns 
1190519    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1195210    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 
1195288    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1195757    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 446.91ms