Do not call the with_full_binder map variant for Reduction.instance.

We know statically that whd_betaiota is a local reduction function, so it
does not need to access the rel_context of its environment argument.

0 files changed, 0 insertions, 0 deletions