We should not select a shared state that has no out-edges