let is_literal_ground literal =
  is_term_ground literal.atom