indvC_termSeq :: TERM_SEQ -> Set NAME
indvC_termSeq t =
    case t of
        Term_seq txt -> indvC_term txt
        Seq_marks _ -> Set.empty -- FIXME: what to do with seqmarks?


------------------------------------------------------------------------------
-- Functions to compute the set of predicates, these work by recursing      --
-- into all subelements                                                     --
------------------------------------------------------------------------------
indvC_termSeq :: TERM_SEQ -> Set NAME
indvC_termSeq t =
    case t of
        Term_seq txt -> indvC_term txt
        Seq_marks _ -> Set.empty -- FIXME: what to do with seqmarks?


------------------------------------------------------------------------------
-- Functions to compute the set of predicates, these work by recursing      --
-- into all subelements                                                     --
------------------------------------------------------------------------------
indvC_termSeq t =
    case t of
        Term_seq txt -> indvC_term txt
        Seq_marks _ -> Set.empty -- FIXME: what to do with seqmarks?


------------------------------------------------------------------------------
-- Functions to compute the set of predicates, these work by recursing      --
-- into all subelements                                                     --
------------------------------------------------------------------------------