Class ConstraintReificationShape_where