Restructure the {A,+,B}<L> * {C,+,D}<L> folding so that it folds