Fair Interleaving in Redex Enumerator