Would the identifiability problem mess up the tuning of the mass matrix and NUTS? What is “within trace mode exploring”?