Integrating a control flow graph into the Spoon Model

I was looking at the code in the spoon-control-flow module, and I feel like a control flow graph could be embedded into spoon's model as it is being constructed. Perhaps there could be an optional trigger for such behavior?

Doing so would be very useful for static analysis. I have a cursory idea of how this could be done, but nothing very concrete as of now.