test merging of generic gates

[fabrizio-m]

Operations with cvars don't have an inmediate effect, they instead add to some tree of operations that is later optimized to minimize constraints. This issue shall cover testing of that optimization.

[github-actions[bot]]

Stale issue message