let equal_f f1 f2 =
  match f1, f2 with
    | T.FctSrc fi1, T.FctSrc fi2 -> equal_fi fi1 fi2
    | T.FctSliced ff1, T.FctSliced ff2 -> equal_ff ff1 ff2
    | _ -> false