Check unreachable states