Analysis of an Efficient Reduction Algorithm for Random Regular Expressions Based on Universality Detection.