Evaluation renaming: prefer local used ids before (unused) header ids.