let
is_literal_ground literal =
is_term_ground literal.atom