let is_fd_literal (literal: literal) : bool =
  is_fd_term literal.atom