TestEqualsModProofIrrelevancy

1363836    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 
1363836    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.8ns 
1363866    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1364117    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1364117    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1364117    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1364117    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1364946    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1370537    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.67s 
1370631    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1371617    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 948.59ms 
1371617    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 
1371617    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.5ns 
1371632    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1376934    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 
1376981    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1377467    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 456.81ms