Bug in Pushdown and Floorad

HEAD bug commit.
renamed expand_mc instance to _expand_mc in PushDown.