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