** Returns the position of the instruction "controlling" a given ** jump (that is, its condition), or the jump itself if it is ** unconditional. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected