let fct_name svar ff =
    let name = match ff with
    | Isrc -> svar.vname
    | Iproto ->
        svar.vname
    | Iff (ff, src_visible) ->
        let kf = M.get_ff_kf ff in
        let ff_num = ff.T.ff_id in
          SliceName.get kf src_visible ff_num
    in
      SlicingParameters.debug ~level:2 "[SlicingTransform.Visibility.fct_name] get fct_name = %s" name;
      name