TestEqualsModProofIrrelevancy

796648     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 
796648     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.18ms 
796695     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
796826     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
796826     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
796826     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
796826     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
797389     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
803599     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.92s 
803677     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
804577     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 892.68ms 
804577     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 
804577     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.4ns 
804593     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
807454     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 
807502     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
808028     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 505.29ms