Refactor common logic to checkForInjectivityConflicts