let check_by = function
  | L_altergo -> AltErgo.check
  | L_why -> SMT.check
  | L_coq -> Coq.check