let
is_fd_symbol (symbol: symbol) : bool =
symbol.sort ==
FD_Symbol