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