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