\brief Determine if the subgraph variable can act as a switch variable for the given BRANCHIND We query the JumpTable associated with the BRANCHIND to see if its switch variable can be trimmed as indicated by the logical flow. \param op is the given BRANCHIND op \param rvn is the subgraph variable flowing to the BRANCHIND \return \b true if the switch variable can be successfully trimmed to its l
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected