Fix to stupid TD
Fix to stupid TD
Merge branch 'master' of https://github.com/karbyshev/analyzer
Revert "_"

This reverts commit d898ff01245b8012544fec59df1c6bfe688cc857.
Merge pull request #8 from karbyshev/master

Fix to top-down solver