isBranchTarget and isFallThroughSuccessor