change computation of cycle id and redundancy detection

1. Introduce acanonize(state), which returns a canonical state and a
   (bit-encoded) label wether the encoded state was itself canonical
2. Use this labelled canonical state as inital color of each
   state. Now:
   - every redundant cycle has the same color (except for the label)
   - of each set of redundant cycles exactly one has the label set
3. Use the extended label to gather loop statistics.

0 files changed, 0 insertions, 0 deletions