Van egy ilyen indexikálisom

a(X,Y,Z)+:
   X in inf..(max(Z)-1),
   Y in inf..(max(Z)-1).

A 
domain([X,Y],0,9),a(X,Y,5) 
hívásra ezt adja:

X in 0..4,
Y in 0..9 ? ;
no

Hogyan lehetne elérni, hogy a második szűkítés is lefusson?
--

Zsíros Levente