[m-rev.] for review: instmap_delta_restrict

[Julien Fischer]

Hi Zoltan,

On Fri, 1 Apr 2022, Zoltan Somogyi wrote:

> For review by anyone. I am mostly seeking feedback on
> the names of the new library predicates, and whether they
> should be in the documented part of the interface or not.
> If yes, I intend to add an entry to NEWS with the final name.

It may as well be part of the documented interface; I couldn't
think of a better name.

The diff looks fine.

> Julien, if you have a server machine free, you may want to benchmark
> this change. On my laptop, the difference is lost in thermal
> throttling noise.

I'll run the benchmarks over the weekend.

Julien.