Rearrange Redex test and fix Repeat Enumeration Bug