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