Split the list of LeftOperands into those applicable for constraints and those for refinements. Note: the LeftOperands are all non-normative.
Split the list of LeftOperands into those applicable for constraints and those for refinements.
Note: the LeftOperands are all non-normative.