Remove support for symmetrical values from Gecode binding and Csp_solver