Indicate which label/branch went bad in a verification exception