CLP(FD) loading ...