if already returns the right thing. It's simply a parser check that prevents it from being used as an expression. (But I guess you know that.)

I would have used do if it would have made it equivalent, but since it didn't, it was more readable to explain do rather than using do.