The evalMultivariate and evalGateFunction templates use the <-- operator multiple times, which does not generate constraints. As a result, the constraints in this template may not be sufficient to ensure correctness.

After discussing this issue privately with the repository maintainer, I understand that making it fully compatible with downstream tasks would require significant effort.

I recommend that developers intending to use this template in their projects be aware of this under-constrained issue.