let get_called_marks called_marks_opt =
    let called_marks = match called_marks_opt with
      | Some called_marks -> called_marks
      | None -> empty
    in
      if debug then
        Format.printf "with called = %a\n" pretty called_marks;
      called_marks