nnotateSecretChannels :: AnProcess ProcessAnnotation -> (AnProcess ProcessAnnotation)
annotateSecretChannels anp = 
  annotateEachSecretChannels anp svars
  where svars = getSecretChannels anp S.empty

annotateSecretChannels :: AnProcess ProcessAnnotation -> (AnProcess ProcessAnnotation)
annotateSecretChannels anp = 
  annotateEachSecretChannels anp svars
  where svars = getSecretChannels anp S.empty
annotateSecretChannels anp = 
  annotateEachSecretChannels anp svars
  where svars = getSecretChannels anp S.empty