In this version, there is no check for sstates in "Space" and "current" to see if they are contained in some just generated sstate.