Improved error "Unreachable code" for if statements