let is_predicate (symbol: symbol) : bool =
  symbol.sort == Predicate