let check_called_input_marks call_marks called_marks_opt =
match called_marks_opt with
| Some called_marks ->
let result = Signature.fold_all_inputs (check_input call_marks)
([], false) called_marks in
result (*missing_marks, more_inputs*)
| None -> (* called function need no inputs ? *) ([], false)