Analyzing Recurrent Neural Network by Probabilistic Abstraction