SOSConstraint and ConstraintRef