Added RAII for GecodeSpace