Some optimizations for ref symmetry breaking.
Optimized the symmetry breaking propagator.
Changed analysis to be mutable.
Faster propagator for symmetry breaking.
Do analysis to detect which references do not need breaking, since uneccessary symmetry breaking is expensive.