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)