* lang_cpp/analyze/check_variables_cpp.ml: estet