Add function gecode_destroy