Asked question about project and non-singleton domain FD variables