indvC_atomsent :: ATOM -> Set NAME
indvC_atomsent a =
    case a of
         Equation t1 t2 -> indvC_term t1 `Set.union` indvC_term t2
         Atom t ts ->
            if null ts
               then indvC_term t --constant
               else setUnion_list indvC_termSeq ts -- arguments

-- | retrieves the individual constants from a term
indvC_atomsent :: ATOM -> Set NAME
indvC_atomsent a =
    case a of
         Equation t1 t2 -> indvC_term t1 `Set.union` indvC_term t2
         Atom t ts ->
            if null ts
               then indvC_term t --constant
               else setUnion_list indvC_termSeq ts -- arguments

-- | retrieves the individual constants from a term
indvC_atomsent a =
    case a of
         Equation t1 t2 -> indvC_term t1 `Set.union` indvC_term t2
         Atom t ts ->
            if null ts
               then indvC_term t --constant
               else setUnion_list indvC_termSeq ts -- arguments

-- | retrieves the individual constants from a term