Utilizing symmetries in DSP algorithms to improve constraint analysis