Bug fix: local promotion problem; existing references to a local whose indices
was decremented due to a lower-numbered local being promoted to a closure were
not also decremented.