TestEqualsModProofIrrelevancy

1124856    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 
1124856    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.05ms 
1124871    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1125059    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1125059    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1125059    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1125059    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1125731    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1130509    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.63s 
1130572    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1131447    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 841.39ms 
1131447    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 
1131447    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.9ns 
1131447    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1135812    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 
1135859    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1136250    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 371.39ms