indvC_phrase :: PHRASE -> Set NAME
indvC_phrase p =
    case p of
         Module m -> indvC_module m
         Sentence s -> indvC_sen s
         Comment_text _ t _ -> indvC_text t
         _ -> Set.empty

-- | retrieves the individual constants from a module
indvC_phrase :: PHRASE -> Set NAME
indvC_phrase p =
    case p of
         Module m -> indvC_module m
         Sentence s -> indvC_sen s
         Comment_text _ t _ -> indvC_text t
         _ -> Set.empty

-- | retrieves the individual constants from a module
indvC_phrase p =
    case p of
         Module m -> indvC_module m
         Sentence s -> indvC_sen s
         Comment_text _ t _ -> indvC_text t
         _ -> Set.empty

-- | retrieves the individual constants from a module