[mcs] Flow analysis of binary expressions not using logical operators. Fixes #20515