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