better expansion of `var_group()`
markvanderloo opened this issue · 0 comments
markvanderloo commented
If var group G
occurs twice in the same rule, it should not be multiplied.
markvanderloo opened this issue · 0 comments
If var group G
occurs twice in the same rule, it should not be multiplied.