nnotateEachSecretChannels (ProcessComb comb an pl pr ) svars =
            (ProcessComb comb an pl' pr')
            where
              pl' = annotateEachSecretChannels pl svars
              pr' = annotateEachSecretChannels pr svars

annotateEachSecretChannels (ProcessComb comb an pl pr ) svars =
            (ProcessComb comb an pl' pr')
            where
              pl' = annotateEachSecretChannels pl svars
              pr' = annotateEachSecretChannels pr svars
annotateEachSecretChannels (ProcessComb comb an pl pr ) svars =
            (ProcessComb comb an pl' pr')
            where
              pl' = annotateEachSecretChannels pl svars
              pr' = annotateEachSecretChannels pr svars