Optimized id replacement in AST @ CRenaming