[mcs] Complex binary logical expressions flowanalysis