[m-rev.] for post-commit review: make integer_division_zero.m more useful and more readable

[Peter Wang]

On Fri, 16 Oct 2026 20:19:00 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> For review by Peter, since he approved the PR.
> 
> Zoltan.

> Replace success/failure with empty/nonempty lists of failures.
> 
> tests/hard_coded/integer_division_zero.m:
>     As above. This make possible future extensions more useful
>     by providing info on what new inputs actually lead to failure.
> 
>     Replace towers of lambdas with named predicates.

That's good.

Peter