let check_called_outputs call_id ff actions =
let level = M.ff_slicing_level ff in
let add_spare = (level = T.DontSliceButComputeMarks) in
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