Don't generate inj{S, S} when symbol overloads have the same sort

Don't generate inj{S, S} when symbol overloads have the same sort #4712