Fix broken matchWithRecoloring in ColoredAlligator