push operation takes stack summary update
rollback: frames have .addresses(), and we push frames.addresses() to
join in the summary
rollback to hard-coded sspda
stack summary (reachable addresses, top application)
instrumented CESK with effects
Dsg.subgraph and fw and bw reachability
protopurity v2 initial (preGraph + transitive store effects per funciton
application)