A class representing simple term, a basic building block for disjunctive constraints.
Term
Term.size – Total size of the term.