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: ```c void fcn1() { push_wmops("fcn1"); IF ( any_condition_leading_to_false ) { ... } ELSE { fcn2( ... ); } pop_wmops(); return; } void fcn2() { IF ( ... ) { ... } ELSE { ... } return; } ```
issue