The dummy derivatives that are introduced also need initial conditions, however they are counted as states in the DAE case. This leads to the funny case that I have to specify D(some_state) in umap . See for instance here:
https://github.com/SciML/ModelingToolkitStandardLibrary.jl/blob/a8bb6885682cbe2130dda902355394fe4ba0431d/test/Mechanical/rotational.jl#L70-L73
I would prefer it if the initial conditions for the dummy derivatives are somehow chosen by MTK.