Looking at both BranchTo and JumpTo successors
Lots of bug fixes