Implementation of the sequent data structure for G3LLC with selective marking.