improved unreachable states