private void StartLastConjunctiveTest(BranchingContext brctxt, Label lblBranch, Label lblOnFalse) {
switch (brctxt) {
case BranchingContext.OnTrue:
// If last condition evaluates to true, branch to true label
this.iterCurr.SetBranching(BranchingContext.OnTrue, lblBranch);
break;
default:
// If last condition evalutes to false, branch to false label
// Else fall through to true code path
this.iterCurr.SetBranching(BranchingContext.OnFalse, lblOnFalse);
break;
}
}