[m-rev.] for review: require distinct variables in quantified pred and func decls

[Julien Fischer]

On Tue, 23 Jul 2024 at 18:03, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> On Tue, 23 Jul 2024 17:22:34 +1000, Julien Fischer <jfischer at opturion.com> wrote:
> > For review by anyone.
>
> My review is attached.

Thanks, I have made the modifications in your review.

Julien.