Added the detection of jumps or calls to non-existant labels.