Changing "gcdo" to use the finite domain library