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