let is_input (symbol: symbol) : bool =
  is_function symbol || is_predicate symbol