If statements are in the usual imperative style, meaning that else clauses are optional. They are of the form:
if condition1 then block1 else if condition 2 then block 2 else block 3 end
The blocks are sequences of statements and declarations. Every if statement is followed by zero or more else if's and one or zero else's.