empty
CSeq
CSeqFactory
equals
CSeq
exists
SortedCSeqOps