TestEqualsModProofIrrelevancy

852639     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 
852654     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.98ms 
852670     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
852842     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
852842     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
852842     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
852842     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
853358     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
861860     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 9.19s 
861938     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
863106     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.15s 
863121     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 
863121     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.1ns 
863121     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
866283     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 
866347     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
866875     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 521.24ms