Support index reduction and state variable change

[casella]

Modelica allows to write high-index models and has provision for automatic state variable change via the StateSelect attribute. Supporting high-index models and state variable change requires implementing the Pantelides and dummy-derivatives algorithm.