'Include an exit in the final slice.
:param block_address:   Address of the basic block.
:param stmt_idx:        ID of the exit statement.
:param target_ips:      The target address of this exit statement.'

def _pick_exit(self, block_address, stmt_idx, target_ips):

    tpl = (stmt_idx, target_ips)
    if (tpl not in self.chosen_exits[block_address]):
        self.chosen_exits[block_address].append(tpl)
