let coqc_for_model ~model =
  let dir = Wp_parameters.get_output () in
  Printf.sprintf "%s/%s_model.v" dir model