BDDBUTreeAut: RemoveUnreachableStates - return reachable states