Even though this question is related to this one
feel it is about a different issue. If any of you feel otherwise feel free to move it to the original one.
In this notional example the name _Z1~ is created by RootOf: and here is an ad hoc way to catch it.
In this more complex example an assumption must be made on M to obtain ths desired solution g and the previous method no longer works.
I have tried using select to "capture" the name _Z2~ but I can't know how to distinguish M~ from _Z2~ (is there a type which could be used?).
Can you helpm fix this?