validate
validate copied to clipboard
better expansion of `var_group()`
If var group G
occurs twice in the same rule, it should not be multiplied.
If var group G
occurs twice in the same rule, it should not be multiplied.