[mcs] Null operator flow analysis
[mcs] Clean-up flow analysis for boolean expressions