I find it confusing that we use the same instance and same variables for constraint and unconstraint (reduced and full) parameterization.

I don't see an alternative right now.