successor
Given a program counter, answer the list of successor program counters that should be explored. For example, a BranchForward instruction will need to visit both the next program counter and the branch target.
Return
The list of successor program counters.
Parameters
current
The current program counter.