Symbol: _value_in_constraint