oz - 「If ステートメント」の使用 - OZ

Question

Mozart で「if ステートメント」を使用すると問題が発生します。プログラムは開始しますが、結果は 1#_ のみです。なぜ今それが機能しているのか知りたいです。

declare PSO

proc{PSO W}
  X1 X2 X3 X4
  Y1 Y2 Y3 Y4
in   
   X1::1#6
   X2::1#6
   X3::1#6
   X4::1#6
   Y1::1#6
   Y2::1#6
   Y3::1#6
   Y4::1#6

   if X1 > 1 then Y1 =: 2 else Y2=:3
   end

   W=w(x1:X1 y1:Y1 x2:X2 y2:Y2 x3:X3 y3:Y3 x4:X4 y4:Y4)

   {FD.distribute ff W}   
end
{ExploreOne PSO}