removed memo (now implemented in lc)
abstract memoization v2
stack-summarizing pushdown analysis
lc memo experiments