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