let f_fi f = match f with
  | T.FctSrc fct -> fct
  | T.FctSliced ff -> ff_fi ff