memoizing analyzer: works a bit