Incorrect complexity counting of certain IF-ELSE statements in the BASOP code

In the example below, the complexity of the IF() statement within fcn2() is not accounted for due to limitations in the logic of the incrIf() function:

void fcn1() {
    push_wmops("fcn1");
    IF ( any_condition_leading_to_false ) {
        ...
    } ELSE {
        fcn2( ... );
    }
    pop_wmops();
    return;
}

void fcn2() {
    IF ( ... ) {
        ...
    } ELSE {
        ...
    }
    return;
}