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