let is_fd_size_marker (symbol: symbol) : bool =
  symbol.sort == FD_Size_Marker