Make it clearer who are the candidate states in dynamic state selection sets

[Francesco Casella]

Please run the following test case

model M
  Real xx, yy, z, w;
equation
 z*der(xx) + w*der(yy) = 0;
 2*xx^2 + yy^2 = 3;
 z = sin(time);
 w = cos(time);
end M;

If you turn on -d=stateselection, you get the following output

Number of states: 1 ($STATESET1.x)

however, it is not clear that xx and yy belong to this set. Nor it is when looking at the variables browser in OMEdit. The only place where this info is available is the log generated by -d=bltdump, but that is really too low-level. I guess even casual users would like to understand who are the dynamically selected states.

Is there any way to improve this, e.g. by adding the candidate state sets to the -d=stateselection output?