I'm adding this to the end of the Adom section, after the unproven
theorem:
It also shows one
direction of the equivalence between the continuation analysis and an
analysis that assigns $\A(f) = k$ if $k$ dominates $f$ in the graph
$G$ defined in \figref{Adom}.
Any good way to give the intuition of the equivalence in the other
direction.