Fixed critical bug in manager
We yield a state only if it is a possible state