let apply_next_action proj = SlicingParameters.debug ~level:2 "[SlicingProject.apply_next_action]"; let filter = get_next_filter proj in let new_filters = apply_action proj filter in proj.T.actions <- new_filters @ proj.T.actions