Expose the case for General-Fold according to assumptions from Lemma 2.4.