the short branch should always come first in an `if .. then .. else`