let add_change_call_action ff call call_info f_to_call actions =
SlicingParameters.debug ~level:2 "[Fct_Slice.add_change_call_action]:";
let add_change_call =
CallInfo.is_call_to_change call_info (Some f_to_call)
in
if add_change_call then
begin
let change_call_action = Act.mk_crit_change_call ff call f_to_call in
SlicingParameters.debug ~level:2 " -> %a" Act.print_crit change_call_action;
change_call_action :: actions
end
else
begin
SlicingParameters.debug ~level:2 " -> not needed";
actions
end