TestEqualsModProofIrrelevancy

1491756    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 
1491756    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.9ns 
1491803    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1492101    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1492101    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1492101    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1492101    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1493054    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1499135    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.33s 
1499245    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1500183    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 907.78ms 
1500183    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 
1500183    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 595.6ns 
1500198    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1505875    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s 
1505953    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1506704    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 715.07ms