let option_name = "-metrics-ast"