TestEqualsModProofIrrelevancy

980651     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 
980651     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 744ns 
980687     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
980922     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
980937     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
980937     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
980937     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
981712     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
985860     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 
985946     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
987465     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.49s 
987465     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 
987465     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.6ns 
987465     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
991319     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 
991381     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
992023     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 621.6ms