let check_outputs call_id called_ff add_spare =
let (ff_call, call) = call_id in
SlicingParameters.debug ~level:2 "[Fct_Slice.check_outputs] %s outputs for call %d in %s"
(M.ff_name called_ff) call.sid (M.ff_name ff_call);
let call_info = CallInfo.get_info_call call_id in
let spare_info = if add_spare then Some call_id else None in
let out_call = FctMarks.get_call_output_marks ~spare_info call_info in
let new_marks, more = FctMarks.check_called_marks out_call called_ff in
SlicingParameters.debug ~level:2
" -> %d more marks. %s more outputs"
(List.length new_marks) (if more then "some" else "no");
(new_marks, more)