let all_nodes_visible ff nodes =
let is_visible visi n =
let m = Fct_slice.get_node_mark ff n in
if !Db.Slicing.Mark.is_bottom m then
begin
SlicingParameters.debug ~level:3 "[SlicingTransform.Visibility.all_nodes_visible] node %a invisible"
(!Db.Pdg.pretty_node true) n;
false
end
else visi
in List.fold_left is_visible true nodes