normalize_binders: used variables need to be always extended for binders

Fixes a lingering issue with #23.