Duplicate constraint names

There are duplicate constraint names (both in the specification and in the implementation): ReductionMembers in DataUse and in ParameterBinding

Edited by Philip Makedonski