Including \dot{T}_h = 0 in your dynamics is totally fine. The problem with singular jacobians discussed here is due to the jacobian with respect to the algebraic variables z being indefinite.
Including \dot{T}_h = 0 in your dynamics is totally fine. The problem with singular jacobians discussed here is due to the jacobian with respect to the algebraic variables z being indefinite.