[wtetzner]

What should go in the else? A comment saying "// Do nothing here"?

[ExpiredLink]

> What should go in the else?

What's left. What else should go in else?

BTW, the original example not disimproved by AutoRefactor was okay.