starting on DataFlowGraph.hs
construction and size queries for DataFlowGraph appear to work