remove unreachable states test