The first rule is mapping x
to v
. The second rule is saying any variables that are non-x
remain unchanged. Both of those are parts of the the same rule that are necessary to fully define its behavior.
I suppose a somewhat reasonable example would be the following:
int x = 1337;
int y = 9001;
int v;
v = x;
Note that v
has now been set to the value of x
(first rule), but the value of y
has not changed (second rule).