declare
proc {Test tec}
   X Y Z
in
   tec = [X Y Z]

   X :: 1#8
   Y :: 1#10
   Z :: 1#10

   X \=: 7
   Z \=: 2

   X-Z=:3*Y

   {FD.distribute ff tec}
end

{Show {SearchOne Test}}