ClemsonRSRG/RESOLVE — pull request #37 by hamptonsmith (2013-02-24 21:11:37+00:00)
Title: Fixed a predicate that was intended to stop repeated expansions like x =...

... 0, x = 0 + 0, x = 0 + 0 + 0, etc. in the theory development stage.