let check_by = function
  | L_ergo91 -> AltErgo.check false
  | L_ergo92 -> AltErgo.check true
  | L_why -> SMT.check
  | L_coq -> Coq.check