Once a gecodespace is cloned, manually update all variables.
When cloning mozart spaces execute clone method from gecodespace.
There is no need to copy the variables manually, the copy constructor does the job.