[eclipse-users] reified constraints

I'm working on a constraint problem using reified constraints, but  
I'm finding that the do not propagate very well. Eg:

[eclipse 19]: V :: [1,2,4,5], B #= (V #= 3).

V = V{[1, 2, 4, 5]}
B = B{[0, 1]}


Delayed goals:
         #=(V{[1, 2, 4, 5]}, 3, B{[0, 1]})
Yes (0.00s cpu)

Apparently the reified constraint only checks the range of V and  
ignores holes. Is there a way to make the holes propagate?

Malcolm

--
       "An inconvenience is only an adventure wrongly considered;
        an adventure is an inconvenience rightly considered."
                 - G.K.Chesterton, On Running After Ones Hat