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.