Improve eta reduction, to reduce Simplifier iterations