Reverse Macro-Expansion

Is there a way to get macro back from its expanded form?

For examble, can we reconstruct LOOP back from gotoes and labels?

>>6
you may ask which expanders generate some given expansion and given what input. It's still a hard problem
Just pick the more concise one.