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.