Implements a framework for iterative dataflow analysis.

This framework involves five entities: Analysis,  Node, Flowgraph, FlowInfo and Value. The most important items to implement are Analysis.flow (the flow function) and  Value.meet (the meet operation).