The variables' numbers are unique within each alternative, so there's no
need to explicitly limit the scope of the variables.