--- "effect": patch --- Reuse existing references when duplicate identifiers have the same representation, closes #1927.