add new symmetry breaking constraint