It's very tempting to write:

(if a (something because of a) (something more because of a))

Requiring a progn for the else clause means that the above is caught by the compiler.