This case is very similar to detection of conflict involving entities within a parameter block. The only difference is that only selectors can have such conflicts. This means that selectors need to know what values are related to the value they are producing and check for the constraints between these values.