 But if the if branch is empty it will be correctly highlighted: 