let fun_assign_visible _ff_opt _v =
SlicingParameters.debug ~level:2 "[SlicingTransform.Visibility.fun_assign_visible] ?";
let visible = (* TODO *) false
in SlicingParameters.debug ~level:2 "[SlicingTransform.Visibility.fun_assign_visible] -> %s"
(if visible then "yes" else "no");
visible