Returns true if the records with the given node, literal, and environment
should be returned by iterators produced by the TranslationLog.replay() method.
Inserts the specified element at the specified position in this vector
(optional operation), and returns true if this vector has changed as a result of the call.
Inserts the specified elements at the specified position in this vector
(optional operation), and returns true if this vector has changed as a result of the call.
Returns the cast of this expression to an integer expression,
that represents either the cardinality of this expression (if op is CARDINALITY)
or the sum of the integer atoms it contains (if op is SUM).