Fix incremental bug in symmetry breaker.

Thanks to Christoph Sticksel for reporting this.