Yes.

Yes.

It is a corner case that only happens in partial evaluation of functions on the RHS of a rule and, maybe, macro expansion. Normally, the pattern and subject should have no identical variables because the fresh variable counter used to generate new variable is incrementing. That is to say, variables in rules are created before variables in terms to rewrite; and they always have smaller id number.