clpfd: Correlation between domains

Hello,

take the following two clpfd - constraints:

1) A #>= 2, A #=< 3, B #>= 1, B #=< 3, C #>= 1, C #=< 2.

2) A #>= 2, A #=< 4, B #>= A, B #=< 3, C #= A + 1, C #= B + 1.

In 2) you have corelations between the domains, i.e. B #>= A

In 1) there are no correlations between each other. Every domain has a
number as inf and sup.

Now can I find out in a statement when a domain has correlations to  
other
domains and when not?

I.e. in 1) correlated(A) -> false

in 2) correlated(A) -> true because of B references to A


Mit freundlichen Grüßen / Best Regards

Mike