Implicit `else` branch is not reported for `if` statements without an alternate node