dvar_domain

Hello,

it seems to me that while executing


	X::[1,2,3],

	dvar_domain(X, Dom),

	writeln(Dom),		%%  A

	X ## 1,

	writeln(Dom).		%%  B



the value of  Dom  at both points A and B should be the same.
However, I get

1..3		%%  A
[2, 3]		%%  B


Is this expected behaviour?


Best regards,
Sebastian Brand