CrySSMEx, a Novel Rule Extractor for Recurrent Neural Networks: Overview and Case Study