Code review comment for lp:~verifytapn-contributers/verifytapn/transition_statistics

The problem is that it reports that a transition is enabled for each of the permutations of
tokens. This should count just as one, irrelevant of the number of tokens that enable the transition.