operator += for ModCyclicShape iterator is obviously broken. Fix it. isEdge() function during the trie-like traversal seems to be useful. Keep it