The simple arrow causes an additional variant to be added. Note that
decomposition has an effect here on the source as well. So a rule
The simple arrow causes an additional variant to be added. Note that
decomposition has an effect here on the source as well. So a rule