Pick an edge from among the \e likely \e goto list generated by a trace of the current innermost loop. Given ongoing collapsing, this may involve updating which loop is currently innermost and throwing out potential edges whose endpoints have already been collapsed. \return the FlowBlock whose outgoing edge was marked \e unstructured or NULL
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected