Allow injectivity in some arguments (renamer)