Improve error handling when renaming injectivity conditions