TestEqualsModProofIrrelevancy

724851     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 
724851     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns 
724898     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
725024     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
725024     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
725024     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
725024     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
725461     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
728597     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 
728660     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
729724     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.05s 
729724     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 
729724     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 332.9ns 
729724     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
732475     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 
732506     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
732913     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 392.36ms