Backtrack from the BRANCHIND, looking for ops that might affect the destination. If a CALLOTHER, which is not injected/inlined in some way, is in the flow path of the destination calculation, we know the jump-table analysis will fail and the failure mode is returned. \param op is the BRANCHIND op \return \b success if there is no early failure, or the failure mode otherwise
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected