No duplicate option values when a variant is duplicated

Fixes #4417