method private stats_of_filename filename = try Datatype.String.Map.find filename metrics_map with | Not_found -> Metrics.fatal "Metrics for file %s not_found@." filename