Add marked procedures to the stack summary
Add bookkeeping
Add memoization
Improve graph output