Useless variable elimination

From Free net encyclopedia