fix isFallThroughSuccessor and isBranchTarget