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