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