No longer consider an equation of the form “x(+1) = 0” as defining x to be a constant

Fix this by restricting the detection of constant equations to those where the
variable appears without a lead or lag.

Closes: #83
(cherry picked from commit 1cc51296)