HMC bails on programs with no non-structural variables.