Dynamic Detection and Elimination of Local Symmetry in CSPs