indvC_term :: TERM -> Set NAME
indvC_term t =
    case t of
        Name_term n -> Set.singleton n
        Funct_term _ ts _ -> setUnion_list indvC_termSeq ts -- arguments
        Comment_term t1 _ _ -> indvC_term t1

-- | retrieves the individual constant from a single argument
indvC_term :: TERM -> Set NAME
indvC_term t =
    case t of
        Name_term n -> Set.singleton n
        Funct_term _ ts _ -> setUnion_list indvC_termSeq ts -- arguments
        Comment_term t1 _ _ -> indvC_term t1

-- | retrieves the individual constant from a single argument
indvC_term t =
    case t of
        Name_term n -> Set.singleton n
        Funct_term _ ts _ -> setUnion_list indvC_termSeq ts -- arguments
        Comment_term t1 _ _ -> indvC_term t1

-- | retrieves the individual constant from a single argument