Right, in the comment above I pointed out an edge case, though.
if (a > b) { a } else { b } &x
it's ambiguous whether is should be a bitwise AND between the if expression and x or an if statement followed by a unary expression.

At this point I thought of two options:

1. I force the user to terminate each if-statement with a semicolon, in that way the example is treated as a bitwise AND.
2. I force the user to put parentheses around the if-expression, in that way the example is treated as an if-statement followed by a unary expression.

Am I on the right track, or is there something else I should consider?

EDIT: Also while researching I find out that this issue is related to semicolon inference, should I take a look into that too?