Actually produce a pda-risc-enh not some human readable version.
Abstract away the details of the analysis from the run-cfa2.rkt files

Now all this work is placed in the top-level folder cfa2-results-analysis which,
as its name implies, analyzes the results of running cfa2. The results of a CFA2
execution are a term->fv hash, a summaries set, a callers set, and a
pda-risc-enhanced.
Use a common procedure for converting flow BPs to term BPs

Now this procedure can be used on BPs anywhere in the program rather than
specifically for converting a [SetOf BP].