CHECK: Unbalanced braces around else statement