[m-rev.] for post-commit review: don't generate code for unused unification arguments

[Julien Fischer]

On Wed, 12 Mar 2025 at 21:00, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:

> Ignore singleton arguments in MLDS unifications.

That's fine.

Julien.