let check_by = function
  | AltErgo91 -> AltErgo.check false
  | AltErgo92 -> AltErgo.check true
  | Why _ -> SMT.check
  | Coq -> Coq.check
  | Coqide -> Coqide.check
  | WP -> fun _ _ -> Task.return Valid