let file_for_log_check ~gid = function | L_why -> local gid "_why.txt" | L_coq -> local gid "_coq.txt" | L_altergo -> local gid "_ergo.txt"