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