Flow graphs.

Nodes represent definitions (variables or expressions). Edges represent data flow.

This code may be used under the terms of the GNU General Public License. @author Anders Møller <amoeller@cs.au.dk> @author Aske Simon Christensen <aske@cs.au.dk>