complete IF/ELSE parsing; the branch body can also be a single statement (i.e. no braces)