In cases where one uses a ring with variable names which are letters, and another with variables names which are indexed variables (using the same letters), then we get warnings such as the following.
Successfully merging a pull request may close this issue.