Add rough graph implementation for data/control flow analysis.

TODO: Yes, this should be switched to some existing Python graph module,
but first need to understand what operation are needed and best
representation to enable them.