Currently, microbat do not consider the result of condition statement (either True of False) as one of the written variable when processing if-statement, for-loop, and while-loop. It will be better if the result is included as one of the written variable:
Currently, microbat do not consider the result of condition statement (either True of False) as one of the written variable when processing if-statement, for-loop, and while-loop. It will be better if the result is included as one of the written variable: