method private is_defined_function (v:varinfo) =
    try
      let kf = Globals.Functions.get v in
      Kernel_function.is_definition kf
    with
      | Not_found -> Metrics.abort "Function %s not found in the ast" v.vname