Basic data-flow analysis.