TestEqualsModProofIrrelevancy

774446     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 
774446     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.8ns 
774462     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
774603     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
774603     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
774603     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
774603     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
775165     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
778533     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 
778611     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
779377     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 759.62ms 
779393     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 
779393     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 497.2ns 
779393     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
782331     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 
782378     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
782863     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 467.49ms