STM: hook called whenever a state is unreachable

Even indirectly, if it depends on another state that in turn failed.