The original cfg is
S -> S + S | SS | (S) | S* | a
After refactoring and eliminating left recursion, I arrive at the following reduction:<