When a model is misspecified, it will sometimes result in state variables becoming infinite, or Nan, or throwing an underflow error, depending on the solver. We should be able to catch these errors regardless of solver and provide a helpful message such as "State variable {var_name} has a value of {value} at time {t}. This may be due to a misspecification in the model. Please check the equations, initial conditions, and/or parameter values."