Useless-variable elimination. Working note #2 (1990)

by Olin Shivers