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.
Merge pull request #37 from hamptonsmith/facilities2

Fixed a predicate that was intended to stop repeated expansions like x =...