0+1=0

[dours]

This fails

[] > infinite-loop
  cage > x
  cage > tmp
  [value] > pyint
    [y] > add
      pyint (value.plus (y.value)) > @
  seq > @
    x.write (pyint 0)
    tmp.write (x.add (pyint 1))
    tmp.value.eq 1

This one (without cage x) passes

[] > infinite-loop
  cage > tmp
  [value] > pyint
    [y] > add
      pyint (value.plus (y.value)) > @
  pyint 0 > x
  seq > @
    tmp.write (x.add (pyint 1))
    tmp.value.eq 1

This one (without cage tmp) passes as well

[] > infinite-loop
  cage > x
  [value] > pyint
    [y] > add
      pyint (value.plus (y.value)) > @
  seq > @
    x.write (pyint 0)
    (x.add (pyint 1)).value.eq 1

[yegor256]

@dours which version of EO do you use?

[dours]

@yegor256 I checked yesterday on 0.25.2

[yegor256]

@Graur please, check this one