let check_ff_called ff call new_marks_in_call_outputs ff_called =
  let call_id = (ff, call) in
  let is_this_call (c, _) = (c.sid = call.sid) in
  let new_call_marks =
    try
      let _, new_call_marks =
        List.find is_this_call new_marks_in_call_outputs in
        new_call_marks
    with Not_found -> (* no new marks for this call *) []
  in
  let missing_outputs =

    match new_call_marks with
    | [] -> (* why do we check this is there is no new mark ??? *)
        check_outputs call_id ff_called false
    | _ ->
        FctMarks.check_called_marks new_call_marks ff_called
  in match missing_outputs with
    | ([], false-> None
    | _ ->
        let missing_out_act =
          Act.mk_crit_missing_outputs ff call missing_outputs
        in Some missing_out_act