\brief Mark a branch instruction with a different flow type Change the interpretation of a BRANCH, CALL, or RETURN \param addr is the address of the branch instruction \param type is the type of flow that should be forced
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected