let check_names =
  [ "none" ;
    "coq" ;
    "alt-ergo";
    "why" ]