Preliminary support for constrained DAE systems.
Add error checking on constraint equations.