Given the following label_with declaration (from the example constraint handler in file time-pc.chr: label_with path(N, X, Y, L, T, I) if N>1. [eclipse]: chr_label_with(path(N,X,Y,L,T,I)). no (more) solution. [eclipse]: chr_label_with(path(1,X,Y,L,T,I)). no (more) solution. [eclipse]: chr_label_with(path(2,X,Y,L,T,I)). X = X Y = Y L = L T = T I = I More? (;) no (more) solution.