[mcs] Flow analysis on reduced expressions need to run on original expression