alive = combinedLiveness(branchTargets);
alive = combinedLiveness(branchTargets);
alive = combinedLiveness(branchTargets);
alive = combinedLiveness(branchTargets);
alive = combinedLiveness(branchTargets);
alive = combinedLiveness(branchTargets);
alive = combinedLiveness(branchTargets);
alive = combinedLiveness(branchTargets);