add symmetry breaker.