let check_called_outputs call_id ff actions =
  let level = M.ff_slicing_level ff in
  let add_spare = (level = T.DontSliceButComputeMarksin
  let missing_outputs, _more_outputs = check_outputs call_id ff add_spare in
  let actions =
    match missing_outputs with
    | [] -> actions
    | _ ->
        let add_outputs = Act.mk_crit_add_output_marks ff missing_outputs in
        add_outputs :: actions
  in actions