let data_alpha_cv alpha d = match d with
  | D1null -> alpha, d
  | _ -> (* TODO *) Wp_parameters.not_yet_implemented 
           "alpha conversion for data in caveat model"