'and' reification in IC

I am using Eclipse 5.7#45 on Windows XP and I am having trouble 
understanding the use of the 'and' reified constraint in IC.

For example, once ic is loaded:
?- ic : (R #= (X #> 5 and X #< 2)).
R = R{[0, 1]}
X = X{-1.0Inf .. 1.0Inf}
There are 3 delayed goals.
Yes (0.00s cpu)

I would have expected R to be bound to 0 here as the constraint is 
disentailed.

Am I missing something? Is this part of the ic library not yet fully 
implemented (if not how can the above de done).

Regards,
Chris Meudec
--
Christophe Meudec PhD           meudecc@itcarlow.ie
CPM Department                  Phone +353 (0)59 9176266
Institute of Technology         Fax +353 (0)59 9170517
Carlow, Ireland                 Room 911        
http://glasnost.itcarlow.ie/~meudecc/