Added a function to compute the symbolic constraints with xdot explicilty solved for.