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