contification paper: Acont equivalence

[Stephen Weeks]

> 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.

Nothing great.  Only the all paths sentence at the end of the third paragraph in 
5.2.