let fun_deps_visible ff_opt v =
    let keep_annots = SlicingParameters.Mode.KeepAnnotations.get () in
    SlicingParameters.debug ~level:2 
      "[SlicingTransform.Visibility.fun_deps_visible (with keep_annots = %B)] ?"
      keep_annots;
    let visible =
      match ff_opt with
        | Isrc -> true
        | Iproto -> true
        | Iff (ff,_) -> all_logic_var_visible_deps ff v
    in 
    SlicingParameters.debug ~level:2 
      "[SlicingTransform.Visibility.fun_deps_visible] -> %s"
      (if visible then "yes" else "no");
    visible