A basic block that has at exactly one non-exceptional successor.
Set the flow rule for information flowing from this block to its successor.
the non-exceptional successor block, or null if there is no successor.