Modified checkStability of space to reflect the gecode space alternatives.
This is a temporal workaround in order to implement search engines.
It is neccesary to implement a distributor allocated in the mozart heap.