getSuccessor: Get different aspects of a Branch Instruction
Description
These functions allow us to query a Branch instruction.
We can determine if this is a conditional branch,
get the condition for the branch, or retrieve the different locations the Branch could follow.
Usage
getSuccessor(x, i = 1L)
getNumSuccessors(x)
getCondition(x)