[m-rev.] for post-commit review: note a problem with handle_inst_var_subs

[Peter Wang]

On Thu, 04 Jul 2024 17:33:10 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> If anyone knows the reason for the asymmetric treatment of two insts
> noted by the new XXX, please tell me what it is.
> 
> Zoltan.

All I can tell you is that code follows the get_subst_inst function in
David Overton's thesis (page 78, figure 4.2).
The InstA = constrained_inst_vars(_, _) branch is the second case of
get_subst_inst, which ignores Ω.

Peter