Simplifies a terminator by replacing it with a branch to TrueBB if Cond is true or to FalseBB if Cond is false. Takes care of updating the successors and removing the old terminator. Also makes sure not to introduce new successors by assuming that edges to non-successor TrueBBs and FalseBBs aren't reachable.
source not stored for this graph (policy: none)
no test coverage detected