Solve value address problem

[zenna]

When constructing a parametric inverse, we need to give identities to the parameter choices. The parameter address for the first addition should differ from that of the second addition.

This address is important for a number of reasons:

• We need it to look up the parameter value.
• We need to maintain correspondence between parameters from a parameter generating function and a parametric inverse.