Added symmetry breaking in Demands