Added a symmetry breaking constraint