Update docstring and add TODO relating to variable domain calculation.
Merge branch 'master' of https://github.com/craleigh318/CS-156