private void UpdateBranchState(String[] sep) { if (isConditionalBranch(sep)) { if (BranchTaken(sep)) { branchState = ConditionalBranchState.Taken; } else { branchState = ConditionalBranchState.NotTaken; } } else { branchState = ConditionalBranchState.NotConditional; } }