TestEqualsModProofIrrelevancy

1508436    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 
1508436    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 323.4ns 
1508436    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1508717    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1508717    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1508717    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1508717    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1509643    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1516094    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.66s 
1516188    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1517375    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.16s 
1517391    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 
1517391    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 568ns 
1517391    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1523148    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.75s 
1523211    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1523836    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 586.81ms