let f_name f = match f with
  | T.FctSrc fct -> fi_name fct
  | T.FctSliced ff -> ff_name ff