Added functions to check if temporary StateNodes will be dissatisfied in some imaginary SpaceMap.