Test if the path to the given BRANCHIND originates from a constant but passes through INDIRECT operations. This indicates that the switch value is produced indirectly, so we mark the earliest INDIRECT operation as \e not \e collapsible, to guarantee that the indirect value is not lost during analysis. \param op is the given BRANCHIND op
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected