Fix incremental bug in symmetry breaker.

Thanks to Christoph Sticksel for reporting this.
Merge branch '1.2.x'