This class is used to store symbolic sets of aggregate functions
of DLV rules. A symbolic set contains a non-empty set of open
variables and a conjunction of elements. Comparatives
and Arithmetics as well as default negated and classic
literals are allowed in the conjunction, but the conjunction
is not allowed to hold another aggregate.