Summary graphs
A (normalized) summary graph represents a set of XML template values:
The analysis computes a summary graph for each expression in the program.
The set of summary graphs constitutes a
finite lattice
(suitable for data-flow analysis)