example of CLP(FD) applied to Graph layout