Gets an immediate successor of this basic block of a given flow type, if any.