Unsafe code path narrowing

[elsassph]

Currently this would be an error:

if a = 1
  b = 1
end if
print b 'error

Maybe the linter could be smart enough to recognize that this is safe:

if a = 1
  b = 1
end if
if b <> invalid
  print b 'ok
end if