TestEqualsModProofIrrelevancy

929751     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 
929751     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.4ns 
929782     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
929970     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
929970     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
929970     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
929970     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
930868     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
934532     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 
934595     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
935668     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.04s 
935668     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 
935668     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.7ns 
935668     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
939019     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
939084     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
939646     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 548.75ms