Fix a couple of bugs where jump diagnostics would not notice that a variable
has an initializer.