 I have put this in the terms of the kind of suppositionalist who eliminates the embedded conditional by paraphrase. If we do develop a systematic account of the embedded conditional, it is surely a desideratum that (1) and (2) are equivalent. In that case, modus ponens is fine for propositions, but not when applied to a consequent which is not a proposition.