Update failing tests
[mcs] Flow analysis of conditional expression